Publications of Ufuk Topcu
2011
Correct, Reactive Robot Control from Abstraction and Temporal Logic Specifications (2011), in: Special Issue of the IEEE Robotics and Automation Magazine on Formal Methods for Robotics and Automation, 18:3(65--74) | , and ,
2010
Receding horizon control for temporal logic specifications, in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, Stockholm, Sweden, pages 101--110, ACM, 2010 | , and ,