23
March
2023
Verifiability Talk 49: “Co-verification for robotics: from simulation to verification”
Link (Teams): https://bit.ly/coverrobot
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)