Publications
Export 6 results:
[ Author
Filters: First Letter Of Last Name is W [Clear All Filters]
“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.
, “Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers”, Journal of Software Engineering for Robotics (JOSER) - Special Issue on the IRC2017 Conference, vol. 8, no. 1, pp. 65-77, 2017.
, “Correct high-level robot behavior in environments with unexpected events”, in Robotics: Science and Systems Conference (RSS’14), 2014.
, “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
, “From High-Level Task Specification to Robot Operating System (ROS) Implementation”, in 2017 First IEEE International Conference on Robotic Computing (IRC), 2017.
, “Needed-based Coordination for Decentralized High-level Robot Control”, in IEEE International Conference on Intelligent Robots and Systems (IROS2016), Daejeon, Korea, 2016.
,