| Title | Designing Reactive Robot Controllers with LTLMoP |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Finucane, C, Jing, G, Kress-Gazit, H |
| Conference Name | Automated Action Planning for Autonomous Mobile Robots |
| Citation Key | FJKG_AAAIW11 |