On the 1st of December, Professor Ana Cavalcanti
gave a talk at the LMS Computer Science Colloquium titled “Verification of control software for robots that learn” (talk recording).
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
Powered by Jekyll, developed by Pedro Ribeiro, based on theme by Scott Emmons
Creative Commons Attribution