IR
Anthology
Community
Alessandro
Cimatti
2021
doi
dblp
A Comprehensive Approach to On-board Autonomy Verification and Validation.
Marco Bozzano
|
Alessandro Cimatti
|
Marco Roveri
ACM Transactions on Intelligent Systems and Technology (TIST) 2021 Volume 12 Issue 4