Verifiability Talk 53: Integrated Neural Network Verification, E. Komendantskaya (Heriot-Watt U)
Channel: UKRI TAS Verifiability Node
Date: 2023-06-14

Verifiability Talk 53: “Integrated Neural Network Verification with Vehicle”
Speaker:  Prof. Ekaterina Komendantskaya (Heriot-Watt University)
Title: “Integrated Neural Network Verification with Vehicle”
Date: 18.05.2023
Time: 16:00 – 17:00 (BST)