Paparazzi UAV Flight Plan Generator Verified in Coq


Date
Jun 15, 2022 5:30 PM
Event
AID Seminare 2022
Location
ENSTA Paris
Baptiste Pollien
Baptiste Pollien
PhD Student in Formal Methods

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