Title | Temporal Logic Motion Planning for Dynamic Robots |
Publication Type | Miscellaneous |
Year of Publication | 2007 |
Authors | Fainekos, GE, Girard, A, Kress-Gazit, H, Pappas, GJ |
Citation Key | FGKGP07tech |
Title | Temporal Logic Motion Planning for Dynamic Robots |
Publication Type | Miscellaneous |
Year of Publication | 2007 |
Authors | Fainekos, GE, Girard, A, Kress-Gazit, H, Pappas, GJ |
Citation Key | FGKGP07tech |