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

Enabling Continuous Operations for UAVs with an Autonomous Service Network Infrastructure. - Michael Rosenberg; John Henry Burns; Deeraj Nagothu; Yu Chen 002 (CoRR, 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)

JCopter: Reliable UAV Software Through Managed Languages. - Adam Czerniejewski; John Henry Burns; Farshad Ghanei; Karthik Dantu; Yu David Liu; Lukasz Ziarek (IROS, 2021)

A Compiler Framework for Proactive UAV Regulation Enforcement. - Huaxin Tang; John Henry Burns; Alexander Strong; Yu David Liu (ICRA, 2024)