Publications

Export 46 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Hadas Kress-Gazit  [Clear All Filters]
2018
T. Tosun, Daudelin, J., Jing, G., Kress-Gazit, H., Campbell, M. E., and Yim, M., “Perception-Informed Autonomous Environment Augmentation with Modular Robots”, in 2018 {IEEE} International Conference on Robotics and Automation, {ICRA} 2018, Brisbane, Australia, May 21-25, 2018, 2018.
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.
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.
2017
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.
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.
S. Moarref and Kress-Gazit, H., “Decentralized Control of Robotic Swarms from High-Level Temporal Logic Specifications”, in International Symposium on Multi-Robot and Multi-Agent Systems, Los Angeles, California, 2017.
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.
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.
2016
S. Hamill, Peele, B., Ferenz, P., Westwater, M., Shepherd, R. F., and Kress-Gazit, H., “Gait Synthesis for Modular Soft Robots”, in International Symposium on Experimental Robotics, Tokyo, Japan, 2016.
K. Weng Wong and Kress-Gazit, H., “Needed-based Coordination for Decentralized High-level Robot Control”, in IEEE International Conference on Intelligent Robots and Systems (IROS2016), Daejeon, Korea, 2016.
J. A. DeCastro and Kress-Gazit, H., “Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors”, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.
2015
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.
J. A. DeCastro, Alonso-Mora, J., Raman, V., Rus, D., and Kress-Gazit, H., “Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems”, in International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
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.
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. 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.
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.
2014
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.
2013
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.
V. Raman and Kress-Gazit, H., “Explaining Impossible High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
J. DeCastro and Kress-Gazit, H., “Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics”, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
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.
V. Raman and Kress-Gazit, H., “Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors”, in IEEE International Conference on Robotics and Automation, 2013.
V. Raman, Piterman, N., and Kress-Gazit, H., “Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations”, in IEEE International Conference on Robotics and Automation, 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.

Pages