Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks

von Clavierè, Arthur
Veröffentlicht in International Conference on Automated Planning and Scheduling (29. : 2019 : Berkeley, Calif.) Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (2019)

Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution

von Damour, Mathieu
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)