Login / Signup
Specification-Guided Critical Scenario Identification for Automated Driving.
Adam Molin
Edgar A. Aguilar
Dejan Nickovic
Mengjia Zhu
Alberto Bemporad
Hasan Esen
Published in:
FM (2023)
Keyphrases
</>
semi automated
fully automated
data driven
manual inspection
automatic identification
image analysis
data sets
data structure
formal specification
real world
search algorithm
hidden markov models
high level
application scenarios
formal verification
identification rate
databases