Temporal Logic based Reactive Mission and Motion Planning

TitleTemporal Logic based Reactive Mission and Motion Planning
Publication TypeJournal Article
Year of Publication2009
AuthorsKress-Gazit, H, Fainekos, GE, Pappas, GJ
JournalIEEE Transactions on Robotics
Volume25
Pagination1370–1381
Citation KeyKGFP_TRO09