Publications

Export 3 results:
Author Keyword Title [ Type(Desc)] Year
Filters: Author is Jonathan A. DeCastro  [Clear All Filters]
Conference Paper
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 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.
Journal Article
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.