Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System.

Benjamin Vedder, Jonny Vinter, Magnus Jonsson

Browse the full DSN paper archive.