As part of the Verfiability Node series of talks, Thomas Wright delivered a talk on Verified Self-Adaptation of an Incubator Digital Twin and Matt Windsor talked about “RoboCert: Property Specification in Robotics”. These and other recorded talks can be found on the Verfiability Node’s YouTube channel.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
