Publications

tist21

Summary

M. Bozzano, A. Cimatti, M. Roveri (2021) A Comprehensive Approach to On-Board Autonomy Verification and Validation. In ACM Transactions on Intelligent Systems and Technology, 12(4):1-29.

BibTeX Entry

@ARTICLE { tist21,
    AUTHOR = { M. Bozzano and A. Cimatti and  M. Roveri },
    TITLE = { A Comprehensive Approach to On-Board Autonomy Verification and Validation },
    JOURNAL = { ACM Transactions on Intelligent Systems and Technology },
    VOLUME = { 12 },
    NUMBER = { 4 },
    PAGES = { 1-29 },
    YEAR = { 2021 },
}