Specification-Guided Critical Scenario Identification for Automated Driving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen. Specification-Guided Critical Scenario Identification for Automated Driving. In Marsha Chechik, Joost-Pieter Katoen, Martin Leucker, editors, Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings. Volume 14000 of Lecture Notes in Computer Science, pages 610-621, Springer, 2023. [doi]

This author has not been identified. Look up 'Adam Molin' in GoogleThis author has not been identified. Look up 'Edgar A. Aguilar' in GoogleThis author has not been identified. Look up 'Dejan Nickovic' in GoogleThis author has not been identified. Look up 'Mengjia Zhu' in GoogleThis author has not been identified. Look up 'Alberto Bemporad' in GoogleThis author has not been identified. Look up 'Hasan Esen' in Google

runs on WebDSL