Title | Temporal logic motion planning for dynamic robots |
Publication Type | Journal Article |
Year of Publication | 2009 |
Authors | Fainekos, GE, Girard, A, Kress-Gazit, H, Pappas, GJ |
Journal | Automatica |
Volume | 45 |
Pagination | 343 - 352 |
ISSN | 0005-1098 |
DOI | 10.1016/j.automatica.2008.08.008 |
Citation Key | F_aut |