@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}
}

{"_id":"M3AFdsbyH2WQnCmSs","bibbaseid":"corso-moss-koren-lee-kochenderfer-asurveyofalgorithmsforblackboxsafetyvalidationofcyberphysicalsystems-2021","author_short":["Corso, A.","Moss, R. J.","Koren, M.","Lee, R.","Kochenderfer, M. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Anthony"],"propositions":[],"lastnames":["Corso"],"suffixes":[]},{"firstnames":["Robert","J."],"propositions":[],"lastnames":["Moss"],"suffixes":[]},{"firstnames":["Mark"],"propositions":[],"lastnames":["Koren"],"suffixes":[]},{"firstnames":["Ritchie"],"propositions":[],"lastnames":["Lee"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"journal":"Journal of Artificial Intelligence Research","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","bibtex":"@Article{Corso2021survey,\n author = {Anthony Corso and Robert J. Moss and Mark Koren and Ritchie Lee and Mykel J. Kochenderfer},\n journal = jair,\n title = {A survey of algorithms for black-box safety validation of cyber-physical systems},\n year = {2021},\n number = {2005.02979},\n pages = {377--428},\n volume = {72},\n doi={https://doi.org/10.1613/jair.1.12716},\n url={https://arxiv.org/abs/2005.02979}\n}\n\n","author_short":["Corso, A.","Moss, R. J.","Koren, M.","Lee, R.","Kochenderfer, M. J."],"key":"Corso2021survey","id":"Corso2021survey","bibbaseid":"corso-moss-koren-lee-kochenderfer-asurveyofalgorithmsforblackboxsafetyvalidationofcyberphysicalsystems-2021","role":"author","urls":{"Paper":"https://arxiv.org/abs/2005.02979"},"metadata":{"authorlinks":{}},"downloads":6,"html":""},"bibtype":"article","biburl":"https://ancorso.github.io/files/references.bib","dataSources":["TbX42SDTQr5unfHC4","Q5m4eREZKA5kKSYST","mSsYghgSmyfbF75po","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42","gAsQhyq6KFagsX5yX"],"keywords":[],"search_terms":["survey","algorithms","black","box","safety","validation","cyber","physical","systems","corso","moss","koren","lee","kochenderfer"],"title":"A survey of algorithms for black-box safety validation of cyber-physical systems","year":2021,"downloads":6}