A Verified UAV Flight Plan Generator

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
Slides

Date
May 15, 2023 2:15 PM
Event
FormaliSE 2023
Location
Melbourne
Baptiste Pollien
Baptiste Pollien
PhD Student in Formal Methods

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