Paparazzi UAV Flight Plan Generator Verified in Coq
Date
Jun 15, 2022 5:30 PM
Event
AID Seminare 2022
Location
ENSTA Paris
Baptiste Pollien
PhD Student in Formal Methods
My research interests focus on formal methods applied for UAV Autopilot.
My research interests focus on formal methods applied for UAV Autopilot.