Implicit Multiagent Coordination at Uncontrolled Intersections via Topological Braids

von Mavrogiannis, Christoforos
Veröffentlicht in International Workshop on the Algorithmic Foundations of Robotics (15. : 2022 : College Park) Algorithmic foundations of robotics XV (2023)

Classification of Driving Behaviors Using STL Formulas: A Comparative Study

von Karagulle, Ruya
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

THE LOGICAL OPTIONS FRAMEWORK

von ARAKI, BRANDON
Veröffentlicht in International Conference on Machine Learning (38. : 2021 : Online) International Conference on Machine Learning (ICML 2021 ; Part 1 of 16 (2022)

Counterexample-Guided Safety Contracts for Autonomous Driving

von DeCastro, Jonathan
Veröffentlicht in Workshop on the Algorithmic Foundations of Robotics (13. : 2018 : Merida, Mexiko) Algorithmic foundation of robotics XIII (2020)