Prediction-Based Reachability Analysis for Collision Risk Assessment on Highways.
Xinwei WangZirui LiJavier Alonso-MoraMeng WangPublished in: CoRR (2022)
Keyphrases
- risk assessment
- reachability analysis
- risk management
- risk analysis
- model checking
- network security
- decision making
- risk factors
- markov decision processes
- timed automata
- information security
- economic impact
- evidence theory
- emergency management
- incremental algorithms
- state space
- power plant
- case study
- information systems