A Verified UAV Flight Plan Generator

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

Date
May 15, 2023 2:15 PM
Event
FormaliSE 2023
Location
Melbourne
Baptiste Pollien, PhD
Baptiste Pollien, PhD
Software Engineer HMI

I am a Software Engineer HMI at Ampere Software Technology.