Publications
“JESSIE: Synthesizing social robot behaviors for personalized neurorehabilitation and beyond”, in In Proceedings of the ACM/IEEE International Conference on Human Robot Interaction (HRI) 2020, In Press.
, “Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications”, Autonomous Robots, 2019.
, “Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations”, in The International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, 2019.
, “Human-Robot Handovers with Signal Temporal Logic Specifications”, in the 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) - Late Breaking Report, New Delhi, India, 2019.
, “Resilient Task Planning and Execution for Reactive Soft Robots”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
, “SMT-Based Control and Feedback for Social Navigation”, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
, “Specifying and Synthesizing Human-Robot Handovers”, in IEEE International Conference on Intelligent Robots and Systems (IROS), Macao SR, 2019.
, “Task-Based Design of Ad-hoc Modular Manipulators”, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
, “Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)”, Dagstuhl Reports, vol. 9, pp. 91–110, 2019.
, “Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field]”, IEEE Robot. Automat. Mag., vol. 26, pp. 7–10, 2019.
, “Accomplishing high-level tasks with modular robots”, Autonomous Robots, vol. 42, pp. 1337–1354, 2018.
, “The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems”, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 2018.
, “An integrated system for perception-driven autonomy with modular robots”, Science Robotics, vol. 3, no. 23, 2018.
, “Perception-Informed Autonomous Environment Augmentation with Modular Robots”, in International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 21-25, 2018, 2018.
, “Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles”, Autonomous Robots, vol. 42, pp. 801–824, 2018.
, “Reactive Synthesis for Robotic Swarms”, in Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018, p. 71--87.
, “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
, “Resource-Performance Tradeoff Analysis for Mobile Robots”, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
, “Synthesis for Robots: Guarantees and Feedback for Robot Behavior”, Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 211-236, 2018.
, “Verifiable Control of Robotic Swarm from High-level Specifications”, in Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) , Stockholm, Sweden, 2018.
, “Automated generation of dynamics-based runtime certificates for high-level control”, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
, “Collaborative Autonomy Between High-level Behaviors and Human Supervisors for Remote Manipulation Tasks using Different Humanoid Robots”, Journal of Field Robotics (JFR), vol. 34, no. Special Issue on the DARPA Robotics Challenge Finals, p. 333--358, 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.
,