Publications

Export 49 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Hadas Kress-Gazit  [Clear All Filters]
2019
S. Hamill, Whitehead, J., Ferenz, P., Shepherd, R. F., and Kress-Gazit, H., Resilient Task Planning and Execution for Reactive Soft Robots, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
T. Campos, Pacheck, A., Hoffman, G., and Kress-Gazit, H., SMT-Based Control and Feedback for Social Navigation, 2019 International Conference on Robotics and Automation (ICRA). IEEE, pp. 5005-5011, 2019.
T. Campos, Inala, J. Priya, Solar-Lezama, A., and Kress-Gazit, H., Task-Based Design of Ad-hoc Modular Manipulators, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
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.
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.

Pages