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 (Speaker), Edgar Alexis Aguilar Lozano, Dejan Nickovic, Mangjia Zhu, Alberto Bemporad, Hasan Esen

Security & Communication Technologies

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

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.

Original language	English
Title of host publication	Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Editors	Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Pages	610-621
Volume	14000
ISBN (Electronic)	978-3-031-27481-7
DOIs	https://doi.org/10.1007/978-3-031-27481-7_35
Publication status	Published - 6 Mar 2023
Event	25th International Symposium FM 2023 - Lübeck, Lübeck, Germany Duration: 6 Mar 2023 → 10 Mar 2023

Conference

Conference	25th International Symposium FM 2023
Country/Territory	Germany
City	Lübeck
Period	6/03/23 → 10/03/23

Research Field

Dependable Systems Engineering

Access to Document

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

Cite this

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 (Eds.), Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Vol. 14000, pp. 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 (eds), Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. vol. 14000, pp. 610-621, 25th International Symposium FM 2023, Lübeck, Germany, 6/03/23. https://doi.org/10.1007/978-3-031-27481-7_35

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

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

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

Conference

Research Field

Access to Document

Fingerprint

Cite this