@misc{indiciae19a8dc7d820c,
  title = {GoTube: Scalable Stochastic Verification of Continuous-Depth Models},
  author = {Sophie Gruenbacher and Mathias Lechner and Ramin Hasani and Daniela Rus and Thomas A. Henzinger and Scott Smolka and Radu Grosu},
  year = {2021},
  url = {https://arxiv.org/abs/2107.08467},
  note = {Source identifier: 2107.08467}
}