Recent & Upcoming Talks

2023

A Verified UAV Flight Plan Generator

2022

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