Delft University of Technology Towards a Framework for Certification of Reliable Autonomous Systems
Delft University of Technology Towards a Framework for Certification of Reliable Autonomous Systems
M. Fisher,V. Mascardi,3 Authors,N. Yorke-Smith
2020
19 Citations
TLDR
What is needed in order to provide verified reliable behaviour of an autonomous system is analyzed, what can be done as the state-of-the-art in automated verification is analysed, and a roadmap towards developing regulatory guidelines is proposed.