| 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 |