Temporal logic motion planning for dynamic robots, (2009)

by G E Fainekos, A Girard, H Kress-Gazit, G J Pappas
Venue:Automatica