A survey of algorithms for black-box safety validation of cyber-physical systems. Corso, A., Moss, R. J., Koren, M., Lee, R., & Kochenderfer, M. J. Journal of Artificial Intelligence Research, 72(2005.02979):377–428, 2021.
A survey of algorithms for black-box safety validation of cyber-physical systems [link]Paper  doi  bibtex   6 downloads  
@Article{Corso2021survey,
    author = {Anthony Corso and Robert J. Moss and Mark Koren and Ritchie Lee and Mykel J. Kochenderfer},
    journal = jair,
    title = {A survey of algorithms for black-box safety validation of cyber-physical systems},
    year = {2021},
    number = {2005.02979},
    pages = {377--428},
    volume = {72},
    doi={https://doi.org/10.1613/jair.1.12716},
    url={https://arxiv.org/abs/2005.02979}
}

Downloads: 6