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)