1. Antonniotti, M., Mishra, B.: Discrete event models+ temporal logic = supervisory controller: automatic synthesis of locomotion controllers. In: Proceedings of IEEE International Conference on Robotics and Automation (1999)
2. Bacchus, F., Kabanza, F.: Using temporal logic to express search control knowledge for planning. Artif. Intell. 116, 123–191 (2000)
3. Buchi, R.: On a Decision Method in Restricted Second-order Arithmetic. Stanford University Press, Stanford (1962)
4. Evans, L.: Partial Differential Equations. American Mathematical Society, Providence (1998)
5. Fainekos, G., Kress-gazit, H., Pappas, G.: Hybrid controllers for path planning: a temporal logic approach. In: Proceeding of the IEEE International Conference on Decision and Control, Sevilla, pp. 4885–4890, December 2005