Verifiability 49: Co-verification for Robotics from Simulation to Verification, Pedro Ribeiro (York)
Channel: UKRI TAS Verifiability Node
Date: 2023-06-08

Verifiability Talk 49
Speaker:  Pedro Ribeiro (University of York)
Title: “Co-verification for robotics: from simulation to verification”
Date: 23.3.2023
Time: 16:00 – 17:00 (GMT)