ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

A glance on futures of machine learning specification and verification

Time: Sunday, 3.11

Room: Room 2

Authors: Julien Girard-Satabin, Ekaterina Komendantskaya