collaborators

1 paper

cs.SE2021

Avis: In-Situ Model Checking for Unmanned Aerial Vehicles

Max Taylor, Haicheng Chen, Feng Qin +1

Control firmware in unmanned aerial vehicles (UAVs) uses sensors to model and manage flight operations, from takeoff to landing to flying between waypoints. However, sensors can fa…