@misc{indiciae57640f22ec2b,
  title = {Understanding Bounding Functions in Safety-Critical UAV Software},
  author = {Xiaozhou Liang and John Henry Burns and Joseph Sanchez and Karthik Dantu and Lukasz Ziarek and Yu David Liu},
  year = {2021},
  url = {https://arxiv.org/abs/2102.07020},
  note = {Source identifier: 2102.07020}
}