Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu. Understanding Bounding Functions in Safety-Critical UAV Software. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. pages 1311-1322, IEEE, 2021. [doi]
Abstract is missing.