TY - RPRT TI - Understanding Bounding Functions in Safety-Critical UAV Software AU - Xiaozhou Liang AU - John Henry Burns AU - Joseph Sanchez AU - Karthik Dantu AU - Lukasz Ziarek AU - Yu David Liu PY - 2021 UR - https://arxiv.org/abs/2102.07020 ID - 2102.07020 ER -