Ibukun Phillips, C. Robert Kenley. Verification of Intelligent Transportation Systems: Challenges And Possibilities. In SoSE. pages 127-131, 2022. [doi]
@inproceedings{PhillipsK22,
title = {Verification of Intelligent Transportation Systems: Challenges And Possibilities},
author = {Ibukun Phillips and C. Robert Kenley},
year = {2022},
doi = {10.1109/SOSE55472.2022.9812702},
url = {https://doi.org/10.1109/SOSE55472.2022.9812702},
researchr = {https://researchr.org/publication/PhillipsK22},
cites = {0},
citedby = {0},
pages = {127-131},
booktitle = {SoSE},
}