@InProceedings{Koren2019rss,
    author = {Mark Koren and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = {Workshop on Safe Autonomy, } # rss,
    title = {The adaptive stress testing formulation},
    year = {2019},
    url = {https://arxiv.org/abs/1811.02188},
}

{"_id":"FYaXAPvcMTp9pcCRR","bibbaseid":"koren-corso-kochenderfer-theadaptivestresstestingformulation-2019","authorIDs":[],"author_short":["Koren, M.","Corso, A.","Kochenderfer, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mark"],"propositions":[],"lastnames":["Koren"],"suffixes":[]},{"firstnames":["Anthony"],"propositions":[],"lastnames":["Corso"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"booktitle":"Workshop on Safe Autonomy, Robotics: Science and Systems","title":"The adaptive stress testing formulation","year":"2019","url":"https://arxiv.org/abs/1811.02188","bibtex":"@InProceedings{Koren2019rss,\n author = {Mark Koren and Anthony Corso and Mykel J. Kochenderfer},\n booktitle = {Workshop on Safe Autonomy, } # rss,\n title = {The adaptive stress testing formulation},\n year = {2019},\n url = {https://arxiv.org/abs/1811.02188},\n}\n\n","author_short":["Koren, M.","Corso, A.","Kochenderfer, M. J."],"key":"Koren2019rss","id":"Koren2019rss","bibbaseid":"koren-corso-kochenderfer-theadaptivestresstestingformulation-2019","role":"author","urls":{"Paper":"https://arxiv.org/abs/1811.02188"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://ancorso.github.io/files/references.bib","creationDate":"2020-05-22T20:06:00.021Z","downloads":1,"keywords":[],"search_terms":["adaptive","stress","testing","formulation","koren","corso","kochenderfer"],"title":"The adaptive stress testing formulation","year":2019,"dataSources":["Q5m4eREZKA5kKSYST","TbX42SDTQr5unfHC4","mSsYghgSmyfbF75po","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"]}