A Verified UAV Flight Plan Generator


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.