Formal verification of an UAV autopilot

Slides

Date
Dec 1, 2021
Event
JDD @ DISC 2021
Location
ISAE-SUPAERO
Baptiste Pollien
Baptiste Pollien
PhD Student in Formal Methods

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