Correct, Reactive, High-Level Robot Control

TitleCorrect, Reactive, High-Level Robot Control
Publication TypeJournal Article
Year of Publication2011
AuthorsKress-Gazit, H, Wongpiromsarn, T, Topcu, U
JournalIEEE Robotics Automation Magazine
Volume18
Pagination65-74
Date PublishedSept
ISSN1070-9932
Keywordscollision avoidance, continuous bisimilar controllers, correct reactive high-level robot control, DARPA urban challenge, DUC mission, Intelligent transportation systems, mobile robots, Navigation, state explosion problem, Temporal Logic, temporal logic synthesis, Urban areas, US Department of Defense
DOI10.1109/MRA.2011.942116
Citation KeyKGRAM2011