Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections

159 views