Publications

Export 7 results:
[ Author(Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is A  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
J. Arkin, Walter, M. R., Boteanu, A., Napoli, M. E., Biggie, H., Kress-Gazit, H., and Howard, T. M., Contextual Awareness: Understanding Monologic Natural Language Instructions for Autonomous Robots, in Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2017.
R. Alur, Bodík, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., and Udupa, A., Syntax-Guided Synthesis, in Dependable Software Systems Engineering, 2015, pp. 1–25.
J. Alonso-Mora, DeCastro, J. A., Raman, V., Rus, D., and Kress-Gazit, H., Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles, Autonomous Robots, 2017.
J. Alonso-Mora, DeCastro, J. A., Raman, V., Rus, D., and Kress-Gazit, H., Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles, Autonomous Robots, vol. 42, pp. 801–824, 2018.
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.
R. Alami, Eder, K. I., Hoffman, G., and Kress-Gazit, H., Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081), Dagstuhl Reports, vol. 9, pp. 91–110, 2019.
E. Abraham, Kress-Gazit, H., Natale, L., and Tacchella, A., Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071), Dagstuhl Reports, vol. 7, pp. 48–63, 2017.