@inproceedings{DBLP:journals/corr/abs-2411-14520,
  author       = {Paolo Burgio and
                  Angelo Ferrando and
                  Marco Villani},
  editor       = {Matt Luckcuck and
                  Mengwei Xu},
  title        = {Open Challenges in the Formal Verification of Autonomous Driving},
  booktitle    = {Proceedings Sixth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November
                  2024},
  series       = {{EPTCS}},
  volume       = {411},
  pages        = {191--200},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.411.13},
  doi          = {10.4204/EPTCS.411.13},
  timestamp    = {Wed, 29 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-14520.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"uLkJMnoqemCSAdDKh","bibbaseid":"burgio-ferrando-villani-openchallengesintheformalverificationofautonomousdriving-2024","author_short":["Burgio, P.","Ferrando, A.","Villani, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paolo"],"propositions":[],"lastnames":["Burgio"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Villani"],"suffixes":[]}],"editor":[{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Mengwei"],"propositions":[],"lastnames":["Xu"],"suffixes":[]}],"title":"Open Challenges in the Formal Verification of Autonomous Driving","booktitle":"Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024","series":"EPTCS","volume":"411","pages":"191–200","year":"2024","url":"https://doi.org/10.4204/EPTCS.411.13","doi":"10.4204/EPTCS.411.13","timestamp":"Wed, 29 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2411-14520.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-2411-14520,\n author = {Paolo Burgio and\n Angelo Ferrando and\n Marco Villani},\n editor = {Matt Luckcuck and\n Mengwei Xu},\n title = {Open Challenges in the Formal Verification of Autonomous Driving},\n booktitle = {Proceedings Sixth International Workshop on Formal Methods for Autonomous\n Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November\n 2024},\n series = {{EPTCS}},\n volume = {411},\n pages = {191--200},\n year = {2024},\n url = {https://doi.org/10.4204/EPTCS.411.13},\n doi = {10.4204/EPTCS.411.13},\n timestamp = {Wed, 29 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2411-14520.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Burgio, P.","Ferrando, A.","Villani, M."],"editor_short":["Luckcuck, M.","Xu, M."],"key":"DBLP:journals/corr/abs-2411-14520","id":"DBLP:journals/corr/abs-2411-14520","bibbaseid":"burgio-ferrando-villani-openchallengesintheformalverificationofautonomousdriving-2024","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.411.13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6"],"keywords":[],"search_terms":["open","challenges","formal","verification","autonomous","driving","burgio","ferrando","villani"],"title":"Open Challenges in the Formal Verification of Autonomous Driving","year":2024}