Recent content by Daniel Ricketts

Thanks. The fence system is just the beginning. We are close to being able to verify a more sophisticated safety boundary, and eventually we plan to verify more traditional properties like controller stability. In case you're interested, we post regular updates to Twitter (@VeriDrone) and...

Do you mean that you couldn't view the video?

For the past year or so, I've been working on the VeriDrone project, in which we formally verify safety of quadcopter software. Here's a brief introduction to the project:Short introduction to the VeriDrone project. We have an active blog, which I want to share with the community to get some...