A Formal Characterization of Black-Box System Safety Performance With Scenario Sampling

Bowen Weng, Linda Capito, Ümit Özgüner, Keith A. Redmill. A Formal Characterization of Black-Box System Safety Performance With Scenario Sampling. IEEE Robotics and Automation Letters, 7(1):199-206, 2022. [doi]

Abstract

Abstract is missing.