@inproceedings{, author = {Cheng, Chih-Hong and Huang, Chung-Hao and Yasuoka, Hirotoshi}, title = {Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems}, booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, pages = {126--142}, year = {2018}, month = oct, doi = {10.1007/978-3-030-01090-4\_8}, url = {https://doi.org/10.1007/978-3-030-01090-4\_8}, crossref = {DBLP:conf/atva/2018}, }