@inproceedings{pinto2023leveraging,
    title={Leveraging compositional methods for modeling and verification of an autonomous taxi system},
    author={Pinto, Alessandro and Anthony Corso and Schmerling, Edward},
    booktitle=icaa,
    year={2023},
    url={https://arxiv.org/abs/2304.13517},
}

{"_id":"EwkGBTs7f6oitzQG2","bibbaseid":"pinto-corso-schmerling-leveragingcompositionalmethodsformodelingandverificationofanautonomoustaxisystem-2023","author_short":["Pinto, A.","Corso, A.","Schmerling, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Leveraging compositional methods for modeling and verification of an autonomous taxi system","author":[{"propositions":[],"lastnames":["Pinto"],"firstnames":["Alessandro"],"suffixes":[]},{"firstnames":["Anthony"],"propositions":[],"lastnames":["Corso"],"suffixes":[]},{"propositions":[],"lastnames":["Schmerling"],"firstnames":["Edward"],"suffixes":[]}],"booktitle":"International Conference on Assured Autonomy (ICAA)","year":"2023","url":"https://arxiv.org/abs/2304.13517","bibtex":"@inproceedings{pinto2023leveraging,\n title={Leveraging compositional methods for modeling and verification of an autonomous taxi system},\n author={Pinto, Alessandro and Anthony Corso and Schmerling, Edward},\n booktitle=icaa,\n year={2023},\n url={https://arxiv.org/abs/2304.13517},\n}\n\n","author_short":["Pinto, A.","Corso, A.","Schmerling, E."],"key":"pinto2023leveraging","id":"pinto2023leveraging","bibbaseid":"pinto-corso-schmerling-leveragingcompositionalmethodsformodelingandverificationofanautonomoustaxisystem-2023","role":"author","urls":{"Paper":"https://arxiv.org/abs/2304.13517"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ancorso.github.io/files/references.bib","dataSources":["mSsYghgSmyfbF75po"],"keywords":[],"search_terms":["leveraging","compositional","methods","modeling","verification","autonomous","taxi","system","pinto","corso","schmerling"],"title":"Leveraging compositional methods for modeling and verification of an autonomous taxi system","year":2023}