Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems

Chih-Hong Cheng, Chung-Hao Huang und Hirotoshi Yasuoka

Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 126–142

Oktober 2018 · DOI: 10.1007/978-3-030-01090-4\_8

Url: https://doi.org/10.1007/978-3-030-01090-4\_8

URL DOI BibTeX Zurück