Publications
Export 4 results:
Author Keyword Title Type [ Year
Filters: Author is H. Kress-Gazit [Clear All Filters]
“Reactive high-level behavior synthesis for an Atlas humanoid robot”, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.
, “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
, “Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]”, IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
, “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.
,