@inproceedings{delecki2023modelbased,
    title={Model-based validation as probabilistic inference},
    author={Harrison Delecki and Anthony Corso and Mykel J. Kochenderfer},
    booktitle=l4dc,
    year={2023},
    url={https://arxiv.org/abs/2305.09930},
}

{"_id":"pJcxkwy5Zfaf5x7Ro","bibbaseid":"delecki-corso-kochenderfer-modelbasedvalidationasprobabilisticinference-2023","author_short":["Delecki, H.","Corso, A.","Kochenderfer, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Model-based validation as probabilistic inference","author":[{"firstnames":["Harrison"],"propositions":[],"lastnames":["Delecki"],"suffixes":[]},{"firstnames":["Anthony"],"propositions":[],"lastnames":["Corso"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"booktitle":"Learning for Dynamics & Control Conference (L4DC)","year":"2023","url":"https://arxiv.org/abs/2305.09930","bibtex":"@inproceedings{delecki2023modelbased,\n title={Model-based validation as probabilistic inference},\n author={Harrison Delecki and Anthony Corso and Mykel J. Kochenderfer},\n booktitle=l4dc,\n year={2023},\n url={https://arxiv.org/abs/2305.09930},\n}\n\n","author_short":["Delecki, H.","Corso, A.","Kochenderfer, M. J."],"key":"delecki2023modelbased","id":"delecki2023modelbased","bibbaseid":"delecki-corso-kochenderfer-modelbasedvalidationasprobabilisticinference-2023","role":"author","urls":{"Paper":"https://arxiv.org/abs/2305.09930"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ancorso.github.io/files/references.bib","dataSources":["mSsYghgSmyfbF75po","gAsQhyq6KFagsX5yX","Q5m4eREZKA5kKSYST","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["model","based","validation","probabilistic","inference","delecki","corso","kochenderfer"],"title":"Model-based validation as probabilistic inference","year":2023}