Publications
“Automated generation of dynamics-based runtime certificates for high-level control”, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
, “Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)”, Dagstuhl Reports, vol. 7, pp. 48–63, 2017.
, “Contextual Awareness: Understanding Monologic Natural Language Instructions for Autonomous Robots”, in Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2017.
, “Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specifications”, in International Symposium on Multi-Robot and Multi-Agent Systems, Los Angeles, California, 2017.
, “An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI Community”, International Joint Conference on Artificial Intelligence. 2017.
, “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-17}, 2017.
, “Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle”, Journal of Field Robotics, 2017.
, “From High-Level Task Specification to Robot Operating System (ROS) Implementation”, in 2017 First IEEE International Conference on Robotic Computing (IRC), 2017.
, “Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles”, Autonomous Robots, 2017.
, “Robot-Initiated Specification Repair through Grounded Language Interaction”, AAAI Fall Symposium 2017, Natural Communication for Human-Robot Collaboration. 2017.
, “Collaborative Autonomy Between High-level Behaviors and Human Supervisors for Remote Manipulation Tasks using Different Humanoid Robots”, Journal of Field Robotics (JFR), no. Special Issue on the DARPA Robotics Challenge Finals, 2016.
, “An End-To-End System for Accomplishing Tasks with Modular Robots”, in 2016 Robotics: Science and Systems Conference, Ann Arbor, Michigan, USA, 2016.
, “Gait Synthesis for Modular Soft Robots”, in International Symposium on Experimental Robotics, Tokyo, Japan, 2016.
, “Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees”, IEEE Transactions on Robotics, vol. 32, pp. 583-599, 2016.
, “A Model for Verifiable Grounding and Execution of Complex Natural Language Instructions”, in IEEE IROS 2016, Proceedings of, 2016.
, “Needed-based Coordination for Decentralized High-level Robot Control”, in IEEE International Conference on Intelligent Robots and Systems (IROS2016), Daejeon, Korea, 2016.
, “Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors”, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.
, “Reactive high-level behavior synthesis for an Atlas humanoid robot”, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.
, “Analyzing and revising synthesized controllers for robots with sensing and actuation errors”, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
, “Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems”, in International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
, “Computer-Aided Compositional Design and Verification for Modular Robots”, in The International Symposium on Robotics Research, Sestri Levante, Italy, 2015.
, “Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning”, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
, “Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace”, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
, “Provably Correct Reactive Control from Natural Language”, Auton. Robots, vol. 38, pp. 89–105, 2015.
, “Robot Creation from Functional Specifications”, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
,