Publications
Export 13 results:
[ Author
Filters: First Letter Of Last Name is J [Clear All Filters]
“Analyzing and Revising High-Level Robot Behaviors Under Actuator Error”, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
, “Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle”, Journal of Field Robotics, vol. 34, no. 5, p. 897--911, 2017.
, “Analyzing and revising synthesized controllers for robots with sensing and actuation errors”, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
, “Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error”, Autonomous Robots, vol. 33, pp. 309-321, 2012.
, “Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error”, in Proceedings of Robotics: Science and Systems, Los Angeles, CA, USA, 2011.
, “Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation”, in IEEE International Conference on Robotics and Automation (ICRA), 2012.
, “Correct High-level Robot Control from Structured English”, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
, “Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments”, in IEEE International Conference on Intelligent Robots and Systems, 2013.
, “An End-To-End System for Accomplishing Tasks with Modular Robots”, in 2016 Robotics: Science and Systems Conference, Ann Arbor, Michigan, USA, 2016.
, “Improving the Continuous Execution of Reactive LTL-based Controllers”, in IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, 2013.
, “Accomplishing high-level tasks with modular robots”, Autonomous Robots, vol. 42, pp. 1337–1354, 2018.
, “An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community”, in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, (IJCAI), 2017.
, “An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI Community”, in International Joint Conference on Artificial Intelligence, 2017.
,