Publications
Export 6 results:
Author Keyword [ Title
Filters: First Letter Of Last Name is E [Clear All Filters]
“Automated generation of dynamics-based runtime certificates for high-level control”, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
, “Correct high-level robot behavior in environments with unexpected events”, in Robotics: Science and Systems Conference (RSS’14), 2014.
, “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
, “Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments”, in IEEE International Conference on Intelligent Robots and Systems, 2013.
, “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.
, “Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)”, Dagstuhl Reports, vol. 9, pp. 91–110, 2019.
,