VERDI 2023

Speaker

Michell Guzman Cancimance

Fortiss, Germany.

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

 Overview