Author of the publication

Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071).

, , , and . Dagstuhl Reports, 7 (2): 48-63 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control., , , and . IEEE Trans. Robotics, 31 (3): 591-604 (2015)Temporal Logic Motion Planning for Mobile Robots., , and . ICRA, page 2020-2025. IEEE, (2005)Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations., , and . ICRA, page 4075-4081. IEEE, (2013)Contextual awareness: Understanding monologic natural language instructions for autonomous robots., , , , , , and . RO-MAN, page 502-509. IEEE, (2017)Correct high-level robot control from structured English., , , and . ICRA, page 3543-3544. IEEE, (2012)Execution and analysis of high-level tasks with dynamic obstacle anticipation., , , and . ICRA, page 330-337. IEEE, (2012)Automatically synthesizing a planning and control subsystem for the DARPA urban challenge., and . CASE, page 766-771. IEEE, (2008)Gait Synthesis for Modular Soft Robots., , , , , and . ISER, volume 1 of Springer Proceedings in Advanced Robotics, page 669-678. Springer, (2016)Robot Creation from Functional Specifications., , , , , and . ISRR (2), volume 3 of Springer Proceedings in Advanced Robotics, page 631-648. Springer, (2015)Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors., and . CoRR, (2014)