Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems

Chih-Hong Cheng, Chung-Hao Huang and 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

October 2018 · doi:10.1007/978-3-030-01090-4\_8

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