Temporal Logic Motion Planning for Mobile Robots.

Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas

Browse the full ICRA paper archive.