Publications

Export 4 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is E  [Clear All Filters]
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.
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.