A unified framework for testing linearinvariant properties (2010)

by Arnab Bhattacharyya, Elena Grigorescu, Asaf Shapira
Venue:In FOCS’10: Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science