From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY

TitleFrom Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with {MAYDAY}
Publication TypeConference Paper
Year of Publication2020
AuthorsKim T, Kim CHwan, Ozen A, Fei F, Tu Z, Zhang X, Deng X, Tian D, Xu D
Conference Name29th USENIX Security Symposium (USENIX Security 20)
Date Published08/2020
PublisherUSENIX Association
ISBN Number978-1-939133-17-5
URLhttps://www.usenix.org/conference/usenixsecurity20/presentation/kim