Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)., , , , , , and . IEEE Trans. Robotics, 38 (4): 2516-2535 (2022)Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications., , , and . IEEE Robotics Autom. Lett., 7 (2): 1190-1197 (2022)CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications., , , and . L4DC, volume 211 of Proceedings of Machine Learning Research, page 705-717. PMLR, (2023)Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions., , , , , , , , , and 2 other author(s). CoRR, (2024)ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications., , , , , , and . ISRR, volume 20 of Springer Proceedings in Advanced Robotics, page 224-241. Springer, (2019)How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems., , , , , , and . CoRR, (2023)A Level Set Approach to Simulating Xenopus laevis Tail Regeneration., , and . ALIFE, page 528-535. MIT Press, (2016)Robust Multi-Agent Coordination from CaTL+ Specifications., , , and . ACC, page 3529-3534. IEEE, (2023)Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications., , , , and . ACC, page 1446-1452. IEEE, (2023)Consistent Multi-robot Object Matching via QuickMatch., , , and . ISER, volume 11 of Springer Proceedings in Advanced Robotics, page 751-761. Springer, (2018)