Publications

Export 6 results:
Author Keyword [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is E  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
J. DeCastro, Ehlers, R., Rungger, M., Balkan, A., and Kress-Gazit, H., “Automated generation of dynamics-based runtime certificates for high-level control”, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
C
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.
R
K. W. Wong, Ehlers, R., and Kress-Gazit, H., “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
S
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.
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.
V
R. Alami, Eder, K. I., Hoffman, G., and Kress-Gazit, H., “Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)”, Dagstuhl Reports, vol. 9, pp. 91–110, 2019.