VerifCar: a framework for modeling and model checking communicating autonomous vehicles
Crossref DOI link: https://doi.org/10.1007/s10458-019-09409-x
Published Online: 2019-05-03
Published Print: 2019-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Arcile, Johan http://orcid.org/0000-0001-9979-3829
Devillers, Raymond
Klaudel, Hanna
Text and Data Mining valid from 2019-05-01
Article History
First Online: 3 May 2019