9:30 Michael Fisher: What is Verification and Validation?
9:50 Rafael Cardoso: Integrating Verifiable Agents in ROS
10:10 Fabio Pappachini: Processing and Verification of Information Streams
RAIN March 2022 Meeting ‘Principles and Safety Cases for the use of Autonomous Systems in Nuclear Environments.’
The use of robotics in the nuclear industry is well
