Adaptive Variables for Declarative UAV Planning. - John Henry Burns; Xiaozhou Liang; Yu David Liu (COP@ECOOP, 2020)

Understanding Bounding Functions in Safety-Critical UAV Software. - Xiaozhou Liang; John Henry Burns; Joseph Sanchez; Karthik Dantu; Lukasz Ziarek; Yu David Liu (ICSE, 2021)