@misc{indiciae331b0346b3b8,
  title = {A Scenario Approach to Risk-Aware Safety-Critical System Verification},
  author = {Prithvi Akella and Mohamadreza Ahmadi and Aaron D. Ames},
  year = {2022},
  url = {https://arxiv.org/abs/2203.02595},
  note = {Source identifier: 2203.02595}
}