VERDI 2023

Speaker

Cook Alasdair

Airbus, Germany.

Talks at this conference:
 17:15 Formal Verification for Safe AI-based Flight Planning for UAVs

 Overview