Publications

Export 65 results:
Author Keyword Title Type [ Year(Desc)]
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.
V. Raman, Explaining Unsynthesizability of High-Level Robot Behaviors, Department of Computer Science, Cornell University, 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.
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.
2014
K. Weng Wong, Ehlers, R., and Kress-Gazit, H., Correct high-level robot behavior in environments with unexpected events, in Robotics: Science and Systems Conference (RSS’14), 2014.
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
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. 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.
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.
T. Tuson, Jing, G., Kress-Gazit, H., and Yim, M., Computer-Aided Compositional Design and Verification for Modular Robots, in The International Symposium on Robotics Research, Sestri Levante, Italy, 2015.
J. A. DeCastro, Raman, V., and Kress-Gazit, H., Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
K. Weng Wong and Kress-Gazit, H., Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
C. Lignos, Raman, V., Finucane, C., Marcus, M., and Kress-Gazit, H., Provably Correct Reactive Control from Natural Language, Auton. Robots, vol. 38, pp. 89–105, 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.

Pages