Formal verification of an UAV autopilot

Slides

Date
Dec 1, 2021
Event
JDD @ DISC 2021
Location
ISAE-SUPAERO
Baptiste Pollien, PhD
Baptiste Pollien, PhD
Software Engineer HMI

I am a Software Engineer HMI at Ampere Software Technology.