Hardware-in-the-Loop Validation of Formal Models: An Application to AI-Controlled Drones. - Fabian Vu; Jan Gruteser; Philipp Körner; Michael Leuschel; David Geleßus; Miles Vella (NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings, 2026)