论文信息 - Summarising a Framework for the Certification of Reliable Autonomous Systems - 字舞流文

Summarising a Framework for the Certification of Reliable Autonomous Systems

This extended abstract summarises the contributions from the journal article Fisher et al. [2].

Michael Winikoff | Viviana Mascardi | Michael Fisher | Neil Yorke-Smith | Bernd-Holger Schlingloff | Kristin Yvonne Rozier | Kristin Y. Rozier | JAAMAS Track | Bernd-Holger Schlin | M. Winikoff | Michael Fisher | V. Mascardi | N. Yorke-Smith | Bernd-Holger Schlingloff | Jaamas Track | Bernd-Holger Schlin

[1] Michael Fisher,et al. Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation , 2014, J. Aerosp. Inf. Syst..

[2] Michael Winikoff,et al. Towards a framework for certification of reliable autonomous systems , 2020, Autonomous Agents and Multi-Agent Systems.