Avis: In-Situ Model Checking for Unmanned Aerial Vehicles.

Max Taylor, Haicheng Chen, Feng Qin, Christopher Stewart

Browse the full DSN paper archive.