| 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 |
