VeriDrone

Foundational Verification of Cyber-Physical Systems

Here is a video of our quadcopter flying (if you cannot see the video below, here is a link)

Here is a video of a problematic quadcopter flight, descripted in this blog post (if you cannot see the video below, here is a link)