Publications

Export 95 results:
[ Author(Asc)] Keyword Title Type Year
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 
J
B. Johnson and Kress-Gazit, H., Analyzing and revising synthesized controllers for robots with sensing and actuation errors, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
B. Johnson and Kress-Gazit, H., Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error, Autonomous Robots, vol. 33, pp. 309-321, 2012.
B. Johnson and Kress-Gazit, H., Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error, in Proceedings of Robotics: Science and Systems, Los Angeles, CA, USA, 2011.
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.
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.
B. Johnson and Kress-Gazit, H., Analyzing and Revising High-Level Robot Behaviors Under Actuator Error, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
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), 2017.
G. Jing and Kress-Gazit, H., Improving the Continuous Execution of Reactive LTL-based Controllers, in IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, 2013.
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 International Joint Conference on Artificial Intelligence, 2017.
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., Accomplishing high-level tasks with modular robots, Autonomous Robots, vol. 42, pp. 1337–1354, 2018.
G. Jing, Finucane, C., Raman, V., and Kress-Gazit, H., Correct High-level Robot Control from Structured English, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
G. Jing, Ehlers, R., and Kress-Gazit, H., Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments, in IEEE International Conference on Intelligent Robots and Systems, 2013.
F
C. Finucane, Jing, G., and Kress-Gazit, H., LTLMoP: Experimenting with Language, Temporal Logic and Robot Control, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Taipei, Taiwan, 2010, pp. 1988 - 1993.
C. Finucane, Jing, G., and Kress-Gazit, H., Designing Reactive Robot Controllers with LTLMoP, in Automated Action Planning for Autonomous Mobile Robots, 2011.
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for mobile robots, in IEEE International Conference on Robotics and Automation, Barcelona, Spain, 2005, pp. 2020-2025.
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for dynamic robots, Automatica, vol. 45, pp. 343 - 352, 2009.
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Hybrid Controllers for Path Planning: A Temporal Logic Approach, in Proceedings of the 44th IEEE Conference on Decision and Control, 2005, pp. 4885 - 4890.
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal Logic Motion Planning for Dynamic Robots. Dept. of CIS, Univ. of Pennsylvania, 2007.
E
R. Ehlers, Seshia, S. A., and Kress-Gazit, H., Synthesis with Identifiers, in Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, 2014.

Pages