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

185 views