For the past year or so, I've been working on the VeriDrone research project at UC San Diego, in which we formally verify quadcopter software. We have an active blog, which I want to share with the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results