Formal Certification Methods for Automated Vehicle Safety Assessment-Reference-Cited by-同舟云学术

Formal Certification Methods for Automated Vehicle Safety Assessment

Author:

Zhao Tong¹^ORCID,Yurtsever Ekim²^ORCID,Paulson Joel A.³^ORCID,Rizzoni Giorgio¹^ORCID

Affiliation:

1. Department of Mechanical and Aerospace Engineering, The Ohio State University, Columbus, OH, USA

2. Department of Electrical and Computer Engineering, The Ohio State University, Columbus, OH, USA

3. Department of Chemical and Biomolecular Engineering, The Ohio State University, Columbus, OH, USA

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Artificial Intelligence,Control and Optimization,Automotive Engineering

Link

Reference168 articles.

2. Level 3 autonomous cars become legal in Korea from july;lee,2022

3. Demonstration test to be launched for evaluation of unmanned last-mile autonomous driving in wajima city to achieve mobility revolution,2022

4. China’s legislation on autonomous cars rolls out;mallesons,2022

5. Self-driving cars could be legal by spring 2022;moss,2022

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Review Study on Functional Safety Verification and Validation for Autonomous Vehicles;2023 14th International Conference on Electrical and Electronics Engineering (ELECO);2023-11-30

2. Data-Centric Design for Formal Verification of Vehicle Monitoring;2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC);2023-11-21

5. A New Methodology for Analysing Interactions between an Autonomous Vehicle and other Users;2023 IEEE 13th International Conference on Pattern Recognition Systems (ICPRS);2023-07-04