Clare Dixon. Verifying Autonomous Robots: Challenges and Reflections
Keynote TIME https://time2020.inf.unibz.it/ and OVERLAY https://overlay.uniud.it/workshop/2020/
Keynote TIME https://time2020.inf.unibz.it/ and OVERLAY https://overlay.uniud.it/workshop/2020/