Publications

Export 72 results:
Author Keyword Title Type [ Year(Asc)]
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
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.
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.
2012
V. Raman and Kress-Gazit, H., “Automated Feedback For Unachievable High-Level Robot Behaviors”, in IEEE International Conference on Robotics and Automation, 2012, pp. 5156-5162.
V. Raman, Xu, B., and Kress-Gazit, H., “Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory”, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 1233-1238.
G. Jing, Finucane, C., Raman, V., and Kress-Gazit, H., “Correct High-level Robot Control from Structured English”, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
B. Johnson, Havlak, F., Campbell, M., and Kress-Gazit, H., “Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation”, in IEEE International Conference on Robotics and Automation (ICRA), 2012.
V. Raman and Kress-Gazit, H., “Explaining Impossible High-Level Robot Behaviors”, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
S. Sarid, Xu, B., and Kress-Gazit, H., “Guaranteeing High-Level Behaviors while Exploring Partially Known Maps”, in Proceedings of Robotics: Science and Systems, Sydney, Australia, 2012.
B. Johnson and Kress-Gazit, H., “Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error”, Autonomous Robots, vol. 33, pp. 309-321, 2012.
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.
2011
V. Raman and Kress-Gazit, H., “Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP”, in 23rd International Conference on Computer Aided Verification, 2011, pp. 663-668.

Pages