Login / Signup
GoTube: Scalable Statistical Verification of Continuous-Depth Models.
Sophie A. Gruenbacher
Mathias Lechner
Ramin M. Hasani
Daniela Rus
Thomas A. Henzinger
Scott A. Smolka
Radu Grosu
Published in:
AAAI (2022)
Keyphrases
</>
statistical models
probabilistic model
data driven
statistical analysis
model selection
data sets
computational models
statistical methods
maximum likelihood
lightweight
model checking
information systems
information retrieval
database
highly scalable
web scale
statistical approaches