Publications
Export 7 results:
[ Author
Filters: First Letter Of Last Name is M [Clear All Filters]
“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.
, “Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications”, Autonomous Robots, 2019.
, “Reactive Synthesis for Robotic Swarms”, in Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018, p. 71--87.
, “Robot Creation from Functional Specifications”, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
, “Reactive high-level behavior synthesis for an Atlas humanoid robot”, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.
, “Open-world mission specification for reactive robots”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
, “Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments”, in Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, 2013.
,