TY - RPRT TI - A Formal Characterization of Black-Box System Safety Performance with Scenario Sampling AU - Bowen Weng AU - Linda Capito AU - Umit Ozguner AU - Keith Redmill PY - 2021 DO - 10.1109/lra.2021.3122517 UR - https://arxiv.org/abs/2110.02331 ID - 2110.02331 ER -