Recent & Upcoming Talks

2023

Formal verification of an UAV autopilot
A Verified UAV Flight Plan Generator

2022

Paparazzi UAV Flight Plan Generator Verified in Coq
Paparazzi UAV Flight Plan Generator Verified in Coq