Publications

Export 2 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Jonathan DeCastro  [Clear All Filters]
2017
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.
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.