Specification-Guided Critical Scenario Identification for Automated Driving

Adam Molin; Edgar Alexis Aguilar Lozano; Dejan Nickovic; Mangjia Zhu; Alberto Bemporad; Hasan Esen

doi:10.1007/978-3-031-27481-7_35

Specification-Guided Critical Scenario Identification for Automated Driving

Adam Molin (Vortragende:r)
, Edgar Alexis Aguilar Lozano
, Dejan Nickovic
, Mangjia Zhu
, Alberto Bemporad
, Hasan Esen

DENSO Automotive Germany GmbH.
IMT Institute for Advanced Studies Lucca

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Abstract

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.

Originalsprache	Englisch
Titel	Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Redakteure/-innen	Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Seiten	610-621
Band	14000
ISBN (elektronisch)	978-3-031-27481-7
DOIs	https://doi.org/10.1007/978-3-031-27481-7_35
Publikationsstatus	Veröffentlicht - 6 März 2023
Veranstaltung	25th International Symposium FM 2023 - Lübeck, Lübeck, Deutschland Dauer: 6 März 2023 → 10 März 2023

Konferenz

Konferenz	25th International Symposium FM 2023
Land/Gebiet	Deutschland
Stadt	Lübeck
Zeitraum	6/03/23 → 10/03/23

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1007/978-3-031-27481-7_35

Diese Publikation zitieren

Molin, A., Aguilar Lozano, E. A., Nickovic, D., Zhu, M., Bemporad, A., & Esen, H. (2023). Specification-Guided Critical Scenario Identification for Automated Driving. in M. Chechik, J.-P. Katoen, & M. Leucker (Hrsg.), Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Band 14000, S. 610-621) https://doi.org/10.1007/978-3-031-27481-7_35

@inproceedings{db1441890f9a426990843474ae9d7fba,

title = "Specification-Guided Critical Scenario Identification for Automated Driving",

abstract = "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.",

author = "Adam Molin and \{Aguilar Lozano\}, \{Edgar Alexis\} and Dejan Nickovic and Mangjia Zhu and Alberto Bemporad and Hasan Esen",

year = "2023",

month = mar,

day = "6",

doi = "10.1007/978-3-031-27481-7\_35",

language = "English",

isbn = "978-3-031-27480-0",

volume = "14000",

pages = "610--621",

editor = "Chechik, \{Marsha \} and Joost-Pieter Katoen and Leucker, \{Martin \}",

booktitle = "Formal Methods - 25th International Symposium, FM 2023, L{\"u}beck, Germany, March 6-10, 2023, Proceedings",

note = "25th International Symposium FM 2023 ; Conference date: 06-03-2023 Through 10-03-2023",

}

Molin, A, Aguilar Lozano, EA, Nickovic, D, Zhu, M, Bemporad, A & Esen, H 2023, Specification-Guided Critical Scenario Identification for Automated Driving. in M Chechik, J-P Katoen & M Leucker (Hrsg.), Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Bd. 14000, S. 610-621, 25th International Symposium FM 2023, Lübeck, Deutschland, 6/03/23. https://doi.org/10.1007/978-3-031-27481-7_35

Specification-Guided Critical Scenario Identification for Automated Driving. / Molin, Adam (Vortragende:r); Aguilar Lozano, Edgar Alexis; Nickovic, Dejan et al.
Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Hrsg. / Marsha Chechik; Joost-Pieter Katoen; Martin Leucker. Band 14000 2023. S. 610-621.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

TY - GEN

T1 - Specification-Guided Critical Scenario Identification for Automated Driving

AU - Aguilar Lozano, Edgar Alexis

AU - Nickovic, Dejan

AU - Zhu, Mangjia

AU - Bemporad, Alberto

AU - Esen, Hasan

A2 - Molin, Adam

A2 - Chechik, Marsha

A2 - Katoen, Joost-Pieter

A2 - Leucker, Martin

PY - 2023/3/6

Y1 - 2023/3/6

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-031-27481-7_35

DO - 10.1007/978-3-031-27481-7_35

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-031-27480-0

VL - 14000

SP - 610

EP - 621

BT - Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

T2 - 25th International Symposium FM 2023

Y2 - 6 March 2023 through 10 March 2023

ER -

Specification-Guided Critical Scenario Identification for Automated Driving

Abstract

Konferenz

Research Field

Zugriff auf Dokument

Fingerprint

Diese Publikation zitieren