1. Lecture Notes in Computer Science;S Almagor,2014
2. Almagor, S., Kuperberg, D., Kupferman, O.: Regular sensing. In: Proceedings of 34th FST & TCS, LIPIcs, vol. 29, pp. 161–173 (2014)
3. Almagor, S., Kuperberg, D., Kupferman, O.: The sensing cost of monitoring and synthesis. In: Proceedings of 34th FST & TCS, LIPIcs, vol. 35, pp. 380–393 (2015)
4. Lecture Notes in Computer Science;K Chatterjee,2011
5. Lecture Notes in Computer Science;K Chatterjee,2008