@misc{indiciae59d86d92a35a,
  title = {Generating Probabilistic Safety Guarantees for Neural Network Controllers},
  author = {Sydney M. Katz and Kyle D. Julian and Christopher A. Strong and Mykel J. Kochenderfer},
  year = {2021},
  doi = {10.1007/s10994-021-06065-9},
  url = {https://arxiv.org/abs/2103.01203},
  note = {Source identifier: 2103.01203}
}