Login / Signup
GoTube: Scalable Stochastic Verification of Continuous-Depth Models.
Sophie Gruenbacher
Mathias Lechner
Ramin M. Hasani
Daniela Rus
Thomas A. Henzinger
Scott A. Smolka
Radu Grosu
Published in:
CoRR (2021)
Keyphrases
</>
data sets
probabilistic model
model selection
classification models
machine learning
social networks
decision trees
high quality
machine learning algorithms
complex systems
stochastic model