Title | Resilient, Provably-Correct, and High-Level Robot Behaviors |
Publication Type | Journal Article |
Year of Publication | 2018 |
Authors | Wong, KW, Ehlers, R, Kress-Gazit, H |
Journal | IEEE Transactions on Robotics |
Volume | 34 |
Pagination | 936-952 |
Date Published | Aug |
ISSN | 1552-3098 |
Keywords | adversarial events, Collaboration, control system synthesis, Controller Synthesis, cooperative robots, environment assumption violations, environment robots, failure resilience, high-level robot behaviors, linear temporal logic, Linear Temporal Logic (LTL), mobile robots, offline approach, online approach, Planning, robot controllers design, robot controllers synthesis, robot execution, Robots, Robustness, Runtime, Safety, Task analysis, Temporal Logic, three-layer system, transient violations |
DOI | 10.1109/TRO.2018.2830353 |
Citation Key | WongTRO2018 |