Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Formal verification of an UAV autopilot
Slides
Date
Dec 1, 2021
Event
JDD @ DISC 2021
Location
ISAE-SUPAERO
Baptiste Pollien
PhD Student in Formal Methods
My research interests focus on formal methods applied for UAV Autopilot.
Cite
×