Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Paparazzi UAV Flight Plan Generator Verified in Coq
Baptiste Pollien
Slides
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.
Cite
×