Publications

Export 8 results:
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Title is E  [Clear All Filters]
Conference Paper
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., “An End-To-End System for Accomplishing Tasks with Modular Robots”, in 2016 Robotics: Science and Systems Conference, Ann Arbor, Michigan, USA, 2016.
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., “An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community”, in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}, 2017.
B. Johnson, Havlak, F., Campbell, M., and Kress-Gazit, H., “Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation”, in IEEE International Conference on Robotics and Automation (ICRA), 2012.
Conference Proceedings
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., “An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI Community”, International Joint Conference on Artificial Intelligence. 2017.
Journal Article
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, 2017.
V. Raman and Kress-Gazit, H., “Explaining Impossible High-Level Robot Behaviors”, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
V. Raman and Kress-Gazit, H., “Explaining Impossible High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
Thesis
V. Raman, “Explaining Unsynthesizability of High-Level Robot Behaviors”, Department of Computer Science, Cornell University, 2013.