Ufuk Topcu
First name(s): Ufuk
Last name(s): Topcu

Publications of Ufuk Topcu
Hadas Kress-Gazit, Tichakorn Wongpiromsarn and Ufuk Topcu, 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)
Tichakorn Wongpiromsarn, Ufuk Topcu and Richard M. Murray, 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