VeTSS (@vetss_ri) 's Twitter Profile
VeTSS

@vetss_ri

Research Institute on Verified Trustworthy Software Systems (VeTSS) at University of Surrey (director: B. Dongol) & Imperial College (director: @azalearaad)

ID: 1640319077993381890

linkhttps://vetss.org.uk calendar_today27-03-2023 11:46:41

87 Tweet

80 Followers

126 Following

VeTSS (@vetss_ri) 's Twitter Profile Photo
VeTSS
@vetss_ri

2 years ago

A wonderful session on neural network verification at the #VeTSS summer school using the Vehicle tool presented by Prof. Ekaterina Komendantskaya, Dr. Luca Arnaboldi and Dr. Matthew Daggitt (joining us online from Japan!).

A wonderful session on neural network verification at the #VeTSS summer school using the Vehicle tool presented by Prof. Ekaterina Komendantskaya, Dr. Luca Arnaboldi and Dr. Matthew Daggitt (joining us online from Japan!).