Publications of Tichakorn Wongpiromsarn
2011
| , and , 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) |
2010
| , and , 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 |