Publications

Export 14 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Keyword is C  [Clear All Filters]
2019
T. Campos, Pacheck, A., Hoffman, G., and Kress-Gazit, H., “SMT-Based Control and Feedback for Social Navigation”, in International Conference on Robotics and Automation (ICRA), 2019, pp. 5005-5011.
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.
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.
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.
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.
2017
B. Johnson, Havlak, F., Kress-Gazit, H., and Campbell, M., “Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle”, Journal of Field Robotics, vol. 34, no. 5, p. 897--911, 2017.
2014
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., “Open-world mission specification for reactive robots”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
V. Raman and Kress-Gazit, H., “Synthesis for multi-robot controllers with interleaved motion”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
V. Raman and Kress-Gazit, H., “Synthesis for multi-robot controllers with interleaved motion”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
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, Wongpiromsarn, T., and Topcu, U., “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 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.
2010
J. M. Allbeck and Kress-Gazit, H., “Constraints-based complex behavior in rich environments”, in Proceedings of the 10th international conference on Intelligent virtual agents, Berlin, Heidelberg, 2010, pp. 1–14.