Hardware-in-the-Loop Validation of Formal Models: An Application to AI-Controlled Drones

Lecture notes in computer science 2026

View at publisher
Authors: Fabian Vu, Jan Gruteser, Philipp Körner, Michaël Leuschel, David Geleßus, Miles Vella
DOI: 10.1007/978-3-032-28079-4_6
Cited by: 1
References: 43

Fields of Study & Subjects

Autonomous Vehicle Technology and Safety Adversarial Robustness in Machine Learning Safety Systems Engineering in Autonomy

Publication details

Journal / source
Lecture notes in computer science
Publisher
Springer Nature Switzerland
Pages
120–141
Publication date
1 January 2026
Language
EN