Author of the publication

Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control.

, , , and . IEEE Trans. Robotics, 31 (3): 591-604 (2015)

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)Correct high-level robot control from structured English., , , and . ICRA, page 3543-3544. IEEE, (2012)Temporal logic robot mission planning for slow and fast actions., , and . IROS, page 251-256. IEEE, (2012)Provably-correct robot control with LTLMoP, OMPL and ROS., , and . IROS, page 2073. IEEE, (2013)LTLMoP: Experimenting with language, Temporal Logic and robot control., , and . IROS, page 1988-1993. IEEE, (2010)Situation understanding bot through language and environment., , , , , , , , , and 2 other author(s). HRI, page 419-420. ACM, (2012)Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language., , , , , and . Robotics: Science and Systems, (2013)Open-world mission specification for reactive robots., , , and . ICRA, page 4328-4334. IEEE, (2014)Provably correct reactive control from natural language., , , , and . Auton. Robots, 38 (1): 89-105 (2015)Designing Reactive Robot Controllers with LTLMoP., , and . Automated Action Planning for Autonomous Mobile Robots, volume WS-11-09 of AAAI Technical Report, AAAI, (2011)