Login / Signup
A Formal Safety Characterization of Advanced Driver Assist Systems in the Car-Following Regime with Scenario-Sampling.
Bowen Weng
Minghao Zhu
Keith A. Redmill
Published in:
CoRR (2022)
Keyphrases
</>
advanced driver assistance systems
complex systems
distributed systems
knowledge base
databases
safety critical
intelligent vehicles
case study
probabilistic model
knowledge based systems
learning systems
monte carlo
retrieval systems
embedded systems
formal methods
safety analysis
computer vision