Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations

TitleProvably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations
Publication TypeConference Paper
Year of Publication2013
AuthorsRaman, V, Piterman, N, Kress-Gazit, H
Conference NameIEEE International Conference on Robotics and Automation
Citation KeyRPKG_ICRA13