Media type: E-Article Title: Formal Certification Methods for Automated Vehicle Safety Assessment Contributor: Zhao, Tong; Yurtsever, Ekim; Paulson, Joel A.; Rizzoni, Giorgio Published: Institute of Electrical and Electronics Engineers (IEEE), 2023 Published in: IEEE Transactions on Intelligent Vehicles, 8 (2023) 1, Seite 232-249 Language: Not determined DOI: 10.1109/tiv.2022.3170517 ISSN: 2379-8904; 2379-8858 Origination: Footnote: