Verifying Autonomous Robots: Challenges and Reflections (2020)

First Author: Dixon C
Attributed to:  Robotics and Artificial Intelligence for Nuclear (RAIN) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ceur-ws.org/Vol-2785/invited.pdf

Type: Conference/Paper/Proceeding/Abstract