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