Publications

Export 4 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is H. Kress-Gazit  [Clear All Filters]
2016
S. Maniatopoulos, Schillinger, P., Pong, V., Conner, D. C., and Kress-Gazit, H., “Reactive high-level behavior synthesis for an Atlas humanoid robot”, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.
2011
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
H. Kress-Gazit, “Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]”, IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
2010
D. Lee, McClelland, M., Schneider, J., Yang, T. - L., Gallagher, D., Shah, D., Ahmed, N., Moran, P., Nathan, A., Kress-Gazit, H., and Campbell, M., “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.