| Title | Temporal logic motion planning for mobile robots |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Fainekos, GE, Kress-Gazit, H, Pappas, GJ |
| Conference Name | IEEE International Conference on Robotics and Automation |
| Conference Location | Barcelona, Spain |
| Citation Key | FKGPicra_05 |