Specification-Guided Critical Scenario Identification for Automated Driving

Specification-Guided Critical Scenario Identification for Automated Driving

Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000 To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we b...

Full description

Saved in:
Bibliographic Details
Main Authors: Molin, Adam, Aguilar, Edgar A, Ničković, Dejan, Zhu, Mengjia, Bemporad, Alberto, Esen, Hasan
Format: Journal Article
Language:English
Published: 09-03-2023
Subjects:
Mathematics - Optimization and Control
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000 To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framework for critical scenario identification, which we base on open-source libraries that combine scenario specification, testing, formal methods, and optimization.
DOI:10.48550/arxiv.2303.05139