TY  - RPRT
TI  - A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
AU  - Anthony Corso
AU  - Robert J. Moss
AU  - Mark Koren
AU  - Ritchie Lee
AU  - Mykel J. Kochenderfer
PY  - 2021
DO  - 10.1613/jair.1.12716
UR  - https://arxiv.org/abs/2005.02979
ID  - 2005.02979
ER  -