TY - RPRT TI - Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach AU - An, Dongdong (ORCID:0000000214128182) AU - Liu, Jing AU - Zhang, Min AU - Chen, Xiaohong AU - Chen, Mingsong AU - Sun, Haiying PY - 2020 DO - 10.1016/j.jss.2020.110617 UR - https://www.osti.gov/biblio/1702150 ID - 1702150 ER -