TY  - RPRT
TI  - Formal Certification Methods for Automated Vehicle Safety Assessment
AU  - Tong Zhao
AU  - Ekim Yurtsever
AU  - Joel Paulson
AU  - Giorgio Rizzoni
PY  - 2022
DO  - 10.1109/tiv.2022.3170517
UR  - https://arxiv.org/abs/2202.02818
ID  - 2202.02818
ER  -