By: Daniel Ricketts

Information from: http://learningrc.com/best-quadcopter-blogs/#comment-81

Welcome:

We have a quadcopter blog that is a bit different than the others. It describes our project on formally verifying quadcopter software. I don’t know if it is of interest to your readers, but just in case, here is a blog post with a short video introduction to the project: http://ucsd-pl.github.io/veridrone/talk/2015/10/22/intro-cns-review.html#read-more.

Read More

Thank you.

Information from: http://learningrc.com/best-quadcopter-blogs/#comment-81

Welcome:

We have a quadcopter blog that is a bit different than the others. It describes our project on formally verifying quadcopter software. I don’t know if it is of interest to your readers, but just in case, here is a blog post with a short video introduction to the project: http://ucsd-pl.github.io/veridrone/talk/2015/10/22/intro-cns-review.html#read-more.

Read More

Thank you.

Leave a Reply

Your email address will not be published. Required fields are marked *