Publications
] , “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.
, “Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory”, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 1233-1238.
, “Correct High-level Robot Control from Structured English”, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
, “Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation”, in IEEE International Conference on Robotics and Automation (ICRA), 2012.
, “Explaining Impossible High-Level Robot Behaviors”, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
, “Guaranteeing High-Level Behaviors while Exploring Partially Known Maps”, in Proceedings of Robotics: Science and Systems, Sydney, Australia, 2012.
, “Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error”, Autonomous Robots, vol. 33, pp. 309-321, 2012.
, “Temporal logic robot mission planning for slow and fast actions”, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 251-256.
, “Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP”, in 23rd International Conference on Computer Aided Verification, 2011, pp. 663-668.
, “Designing Reactive Robot Controllers with LTLMoP”, in Automated Action Planning for Autonomous Mobile Robots, 2011.
, “High-level control of modular robots”, in EEE/RSJ International Conference on Intelligent Robots and Systems, 2011, pp. 3120-3125.
, “Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error”, in Proceedings of Robotics: Science and Systems, Los Angeles, CA, USA, 2011.
, “Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions”, in IEEE International Conference on Robotics and Automation, Anchorage, Alaska, 2010, pp. 3215-3220.
, “Constraints-based complex behavior in rich environments”, in Proceedings of the 10th international conference on Intelligent virtual agents, Berlin, Heidelberg, 2010, pp. 1–14.
, “Distributed, Collaborative Human-Robotic Networks for Outdoor Experiments in Search, Identify and Track”, in SPIE Europe Conference on Unmanned/Unattended Sensors and Sensor Networks, Toulouse France, 2010.