Publications
] , “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.
, “Syntax-Guided Synthesis”, in Dependable Software Systems Engineering, 2015, pp. 1–25.
, “Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors”, I. J. Robotic Res., vol. 34, pp. 378–394, 2015.
, “Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control”, IEEE Transactions on Robotics, vol. 31, pp. 591–604, 2015.
, “Correct high-level robot behavior in environments with unexpected events”, in Robotics: Science and Systems Conference (RSS’14), 2014.
, “Open-world mission specification for reactive robots”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
, “Synthesis for multi-robot controllers with interleaved motion”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
, “Synthesis with Identifiers”, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.
, “Analyzing and Revising High-Level Robot Behaviors Under Actuator Error”, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
, “Explaining Impossible High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
, “Explaining Unsynthesizability of High-Level Robot Behaviors”, Department of Computer Science, Cornell University, 2013.
, “Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics”, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
, “Improving the Continuous Execution of Reactive LTL-based Controllers”, in IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, 2013.
, “Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors”, in IEEE International Conference on Robotics and Automation, 2013.
, “Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations”, in IEEE International Conference on Robotics and Automation, 2013.
, “Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments”, in IEEE International Conference on Intelligent Robots and Systems, 2013.
, “Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language”, in Robotics: Science and Systems, 2013.
, “Automated Feedback For Unachievable High-Level Robot Behaviors”, in IEEE International Conference on Robotics and Automation, 2012, pp. 5156-5162.