Export 57 results:
Author Keyword Title Type [ Year(Desc)]
Filters: Author is Hadas Kress-Gazit  [Clear All Filters]
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.
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.
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.
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, in 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, vol. 34, no. 5, p. 897--911, 2017.
K. Weng Wong and Kress-Gazit, H., Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers, Journal of Software Engineering for Robotics (JOSER) - Special Issue on the IRC2017 Conference, vol. 8, no. 1, pp. 65-77, 2017.
H. Kress-Gazit and Torfah, H., The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 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 International Conference on Robotics and Automation (ICRA), Brisbane, Australia, May 21-25, 2018, 2018.
S. Moarref and Kress-Gazit, H., Reactive Synthesis for Robotic Swarms, in Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018, p. 71--87.
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) , Stockholm, Sweden, 2018.