Avis: In-Situ Model Checking for Unmanned Aerial Vehicles

Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021

Recommended citation: M. Taylor, H. Chen, F. Qin and C. Stewart, "Avis: In-Situ Model Checking for Unmanned Aerial Vehicles," 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021, pp. 471-483, doi: 10.1109/DSN48987.2021.00057. https://arxiv.org/abs/2106.14959

This paper describes Avis, an in-situ model checker for UAS firmware.

Download paper here

Recommended citation: M. Taylor, H. Chen, F. Qin and C. Stewart, “Avis: In-Situ Model Checking for Unmanned Aerial Vehicles,” 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021, pp. 471-483, doi: 10.1109/DSN48987.2021.00057.