Towards a Framework for Safety Assurance of Autonomous Systems.

John A. McDermid, Yan Jia, Ibrahim Habli

Browse the full IJCAI paper archive.