A Comprehensive Approach to On-board Autonomy Verification and Validation
Marco Bozzano, Alessandro Cimatti, Marco Roveri
- Anthology ID:
- DBLP:journals/tist/BozzanoCR21
- Volume:
- 2021 Volume 12 Issue 4
- Year:
- 2021
- Venue:
- tist_journal
- Pages:
- 46:1–46:29
- URL:
- https://doi.org/10.1145/3472715
- DOI:
- 10.1145/3472715
- DBLP:
- journals/tist/BozzanoCR21
