Clare Dixon. Verifying Autonomous Robots: Challenges and Reflections
Join the Zoom meeting https://scientificnet.zoom.us/s/94404327478
Passcode: TIME followed by 2020
Keynote TIME https://time2020.inf.unibz.it/ and OVERLAY https://overlay.uniud.it/workshop/2020/