Publications

Export 80 results:
Author Keyword [ Title(Asc)] 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 
W
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Where's Waldo? Sensor-Based Temporal Logic Motion Planning, in IEEE International Conference on Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121.
V
J. Chen, Moarref, S., and Kress-Gazit, H., Verifiable Control of Robotic Swarm from High-level Specifications, in Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15, 2018, 2018.
D. C. Conner, Kress-Gazit, H., Choset, H., Rizzi, A. A., and Pappas, G. J., Valet parking without a valet, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, San Diego, CA, 2007, pp. 572-577.
T
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Translating Structured English to Robot Controllers, Advanced Robotics Special Issue on Selected Papers from IROS 2007, vol. 22, pp. 1343-1359, 2008.
H. Kress-Gazit, Transforming high-level tasks to low-level controllers, University of Pennsylvania, Philadephia, PA, 2008.
V. Raman, Piterman, N., Finucane, C., and Kress-Gazit, H., Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control, IEEE Transactions on Robotics, vol. 31, pp. 591–604, 2015.
V. Raman, Finucane, C., and Kress-Gazit, H., Temporal logic robot mission planning for slow and fast actions, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 251-256.
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, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal Logic Motion Planning for Dynamic Robots. Dept. of CIS, Univ. of Pennsylvania, 2007.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Temporal Logic based Reactive Mission and Motion Planning, IEEE Transactions on Robotics, vol. 25, pp. 1370–1381, 2009.
S
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.
J. A. DeCastro and Kress-Gazit, H., Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors, I. J. Robotic Res., vol. 34, pp. 378–394, 2015.
H. Kress-Gazit, Lahijanian, M., and Raman, V., Synthesis for Robots: Guarantees and Feedback for Robot Behavior, Annual Review of Control, Robotics, and Autonomous Systems, vol. 1, pp. 211-236, 2018.
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.
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.
V. Raman, Lignos, C., Finucane, C., Lee, K., Marcus, M., and Kress-Gazit, H., Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language, in Robotics: Science and Systems, 2013.
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.
R
A. Boteanu, Arkin, J., Patki, S., Howard, T., and Kress-Gazit, H., Robot-Initiated Specification Repair through Grounded Language Interaction, AAAI Fall Symposium 2017, Natural Communication for Human-Robot Collaboration. 2017.
A. Mehta, DelPreto, J., Wong, K. Weng, Hamill, S., Kress-Gazit, H., and Rus, D., Robot Creation from Functional Specifications, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
H. Kress-Gazit, Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata], IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
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.
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.
H. Kress-Gazit, Ayanian, N., Pappas, G. J., and Kumar, V., Recycling controllers, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
S. Moarref and Kress-Gazit, H., Reactive Synthesis for Robotic Swarms, Formal Modeling and Analysis of Timed Systems. Springer International Publishing, Beijing, China, p. 71--87, 2018.

Pages