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

167 views