Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis

Florian Finkeldei, Matthias Althoff

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

Scenario-based testing is a promising approach for the verification of automated vehicles (AVs). In this paper, we present a novel approach that combines reachability analysis and numerical optimization to derive concrete scenarios from formal specifications. This promises to address multiple deficiencies of previous approaches: Improvement of computation times, handling of nonlinear specifications (e.g., traffic rules), and incorporation of criticality metrics. Our evaluation shows that the computation time increases linearly with the number of agents and the time horizon, compared to a typically exponential increase for methods without reachability analysis.

Original languageEnglish
Title of host publication2023 IEEE 26th International Conference on Intelligent Transportation Systems, ITSC 2023
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1285-1291
Number of pages7
ISBN (Electronic)9798350399462
DOIs
StatePublished - 2023
Event26th IEEE International Conference on Intelligent Transportation Systems, ITSC 2023 - Bilbao, Spain
Duration: 24 Sep 202328 Sep 2023

Publication series

NameIEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC
ISSN (Print)2153-0009
ISSN (Electronic)2153-0017

Conference

Conference26th IEEE International Conference on Intelligent Transportation Systems, ITSC 2023
Country/TerritorySpain
CityBilbao
Period24/09/2328/09/23

Fingerprint

Dive into the research topics of 'Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis'. Together they form a unique fingerprint.

Cite this