Paparazzi UAV Flight Plan Generator Verified in Coq


Date
Apr 14, 2022 2:30 PM
Event
Concorde Seminare 2022
Location
ISAE-SUPAERO
Baptiste Pollien
Baptiste Pollien
PhD Student in Formal Methods

My research interests focus on formal methods applied for UAV Autopilot.