Bozzano et al. "A Comprehensive Approach to On-Board Autonomy Verification and Validation." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-400
Markdown
[Bozzano et al. "A Comprehensive Approach to On-Board Autonomy Verification and Validation." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/bozzano2011ijcai-comprehensive/) doi:10.5591/978-1-57735-516-8/IJCAI11-400
BibTeX
@inproceedings{bozzano2011ijcai-comprehensive,
title = {{A Comprehensive Approach to On-Board Autonomy Verification and Validation}},
author = {Bozzano, Marco and Cimatti, Alessandro and Roveri, Marco and Tchaltsev, Andrei},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {2398-2403},
doi = {10.5591/978-1-57735-516-8/IJCAI11-400},
url = {https://mlanthology.org/ijcai/2011/bozzano2011ijcai-comprehensive/}
}