On the 18th of May 2021 Ana Cavalcanti will be giving an invited talk at the workshop on Verification of Autonomous & Robotic Systems (VARS) as part of the CPS-IoT Week 2021.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
