A Comprehensive Approach to On-board Autonomy Verification and Validation.
Marco Bozzano|Alessandro Cimatti|Marco Roveri
| Anthology ID: | DBLP:journals/tist/BozzanoCR21 |
|---|---|
| Year: | 2021 |
| Venue: | ACM Transactions on Intelligent Systems and Technology (TIST) |
| Pages: | 46:1-46:29 |
| URL: | https://doi.org/10.1145/3472715 |
| DOI: | https://doi.org/10.1145/3472715 |
| DBLP: | journals/tist/BozzanoCR21 |
| BibTeX: |
@article{bozzano-2021-comprehensive,
author = {Marco Bozzano and
Alessandro Cimatti and
Marco Roveri},
title = {{A Comprehensive Approach to On-board Autonomy Verification and Validation}},
journal = {ACM Transactions on Intelligent Systems and Technology (TIST)},
volume = {12},
number = {4},
pages = {46:1--46:29},
year = {2021},
url = {https://doi.org/10.1145/3472715},
doi = {https://doi.org/10.1145/3472715}
}