Adaptive and learning-based control of safety-critical systems

von Cohen, Max
Veröffentlicht 2023

Language-Guided Sampling-based Planning using Temporal Relaxation

von Penedo, Francisco
Veröffentlicht in International Workshop on the Algorithmic Foundations of Robotics (12. : 2016 : San Francisco, Calif.) Algorithmic foundations of robotics XII (2020)

Formal methods for discrete-time dynamical systems

von Belta, Calin
Veröffentlicht 2017

Consistent Multi-robot Object Matching via QuickMatch

von Serlin, Zachary
Veröffentlicht in International Symposium on Experimental Robotics (2018 : Buenos Aires) Proceedings of the 2018 International Symposium on Experimental Robotics (2020)

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications

von Jones, Austin M.
Veröffentlicht in Robotics research (2022)