Title | Correct, Reactive, High-Level Robot Control |
Publication Type | Journal Article |
Year of Publication | 2011 |
Authors | Kress-Gazit, H, Wongpiromsarn, T, Topcu, U |
Journal | IEEE Robotics Automation Magazine |
Volume | 18 |
Pagination | 65-74 |
Date Published | Sept |
ISSN | 1070-9932 |
Keywords | collision 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 |
DOI | 10.1109/MRA.2011.942116 |
Citation Key | KGRAM2011 |