Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces

Michael Vierhauser, Sean Bayley, Jane Wyngaard, Wandi Xiong, Jinghui Cheng, Joshua Huseman, Robyn R. Lutz, Jane Cleland-Huang. Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces. IEEE Trans. Software Eng., 47(5):899-918, 2021. [doi]

Abstract

Abstract is missing.