Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles-Reference-Cited by-同舟云学术

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles

Published:2022-03-14 Issue: Volume: Page:
ISSN:
Container-title:2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
language:
Short-container-title:

Author:

Horel Jean-Baptiste¹,Laugier Christian¹,Marsso Lina²,Mateescu Radu³,Muller Lucie³,Paigwar Anshul¹,Renzaglia Alessandro¹,Serwe Wendelin³

Affiliation:

1. Univ. Grenoble Alpes In ria,Grenoble,France,38000

2. University of Toronto,Dept. of Computer Science,Toronto,Canada

3. Univ. Grenoble Alpes Inria, Grenoble INP*,CNRS, LIG,Grenoble,France,38000

Publisher

IEEE

Link

Reference22 articles.

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

1. Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. How to Rationalise the Sampling of Test-Scenarios in Automated Driving Based on Criticality Metrics?;2023 8th International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS);2023-06-14

5. Salus: A Novel Data-Driven Monitor that Enables Real-Time Safety in Autonomous Driving Systems;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12