FAST AND GUARANTEED SAFE CONTROLLER SYNTHESIS FOR AERIAL VEHICLE MODELS

von Fan, Chuchu
Veröffentlicht in AIAA SciTech Forum and Exposition (2021 : Online) Intelligent systems ; Volume 2 of 3 (2021)

Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models

von Fan, Chuchu
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

DENSITY CONSTRAINED REINFORCEMENT LEARNING

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

Multi-agent Safety Verification Using Symmetry Transformations

von Sibai, Hussein
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding

von Zhang, Ruipeng
Veröffentlicht in NeurIPS (36. : 2022 : New Orleans, La.; Online) 36th Conference on Neural Information Processing Systems (NeurIPS 2022 ; Volume 39 of 50 (2023)

Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning

von Meng, Yue
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)

Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021 and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1...

Veröffentlicht 2022