Publications

Export 6 results:
[ Author(Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is D  [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 
D
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.
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.
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.
J. A. DeCastro and Kress-Gazit, H., Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.
J. A. DeCastro, Alonso-Mora, J., Raman, V., Rus, D., and Kress-Gazit, H., Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems, in International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
J. A. DeCastro, Raman, V., and Kress-Gazit, H., Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.