@misc{indiciae12b895fbd945,
  title = {A Formal Characterization of Black-Box System Safety Performance with Scenario Sampling},
  author = {Bowen Weng and Linda Capito and Umit Ozguner and Keith Redmill},
  year = {2021},
  doi = {10.1109/lra.2021.3122517},
  url = {https://arxiv.org/abs/2110.02331},
  note = {Source identifier: 2110.02331}
}