Open AccessGoTube: Scalable Statistical Verification of Continuous-Depth Models
Author(s) -
Sophie Gruenbacher,
Mathias Lechner,
Ramin Hasani,
Daniela Rus,
Thomas A. Henzinger,
Scott A. Smolka,
Radu Grosu
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i6.20631
Subject(s) - reachability , computer science , scalability , algorithm , bounding overwatch , robustness (evolution) , set (abstract data type) , mathematical optimization , artificial intelligence , mathematics , biochemistry , chemistry , database , gene , programming language