Hsiao Y-S, Wan Z, Jia T, Ghosal R, Mahmoud A, Raychowdhury A, Brooks D, Wei G-Y, Reddi VJ. MAVFI: An end-to-end fault analysis framework with anomaly detection and recovery for micro aerial vehicles, in Design, Automation and Test in Europe (DATE).; 2023.