Hybrid controllers for path planning: a temporal logic approach (2005)

by G E Fainekos, H Kress-Gazit, G J Pappas
Venue:Proceedings of the 2005 IEEE Conference on Decision and Control