Fu, J., Dimitrova, R., & Topcu, U. (2014). Abstractions and Sensor Design in Partial-information, Reactive Controller Synthesis. In American Control Conference (pp. 2297-2304). Piscataway, NJ: IEEE. doi:10.1109/ACC.2014.6859309.