Publications

Export 6 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is H. Kress-Gazit  [Clear All Filters]
2018
K. W. Wong, Ehlers, R., and Kress-Gazit, H., “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
M. Lahijanian, Svorenova, M., Morye, A. A., Yeomans, B., Rao, D., Posner, I., Newman, P., Kress-Gazit, H., and Kwiatkowska, M., “Resource-Performance Tradeoff Analysis for Mobile Robots”, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
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.