Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
A Verified UAV Flight Plan Generator
Baptiste Pollien
,
Christophe Garion
,
Gautier Hattenberger
,
Pierre Roux
,
Xavier Thirioux
Slides
Date
May 15, 2023 2:00 PM
Event
FormaliSE 2023
Location
Melbourne
Baptiste Pollien
PhD Student in Formal Methods
My research interests focus on formal methods applied for UAV Autopilot.
Cite
×