Gregory M. Provan. Formal Methods for Autonomous Vehicles. IT Professional, 26(1):50-56, January - February 2024. [doi]
@article{Provan24,
title = {Formal Methods for Autonomous Vehicles},
author = {Gregory M. Provan},
year = {2024},
month = {January - February},
doi = {10.1109/MITP.2024.3356158},
url = {https://doi.org/10.1109/MITP.2024.3356158},
researchr = {https://researchr.org/publication/Provan24},
cites = {0},
citedby = {0},
journal = {IT Professional},
volume = {26},
number = {1},
pages = {50-56},
}