18
May
2023
Verifiability Talk 53: “Integrated Neural Network Verification with Vehicle”
Speaker: Dr Ekaterina Komendantskaya (Heriot-Watt University)
Title: “Integrated Neural Network Verification with Vehicle”
Date: 18.05.2023
Time: 16:00 – 17:00 (BST)
Link (Teams): bit.ly/inteneural