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

by Georgios E Fainekos, Hadas Kress-Gazit, George J Pappas
Venue:In Proceedings of the 44th IEEE Conference on Decision and Control