Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher, Sandor M. Veres. Formal verification of autonomous vehicle platooning. Science of Computer Programming, 148:88-106, 2017. [doi]
@article{KamaliDMFV17,
title = {Formal verification of autonomous vehicle platooning},
author = {Maryam Kamali and Louise A. Dennis and Owen McAree and Michael Fisher and Sandor M. Veres},
year = {2017},
doi = {10.1016/j.scico.2017.05.006},
url = {https://doi.org/10.1016/j.scico.2017.05.006},
researchr = {https://researchr.org/publication/KamaliDMFV17},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {148},
pages = {88-106},
}