Transportation risk analysis using probabilistic model checking.
Andrei SoeanuMourad DebbabiDima AlhadidiMakram MakkawiMohamad Khaled AlloucheMicheline BélangerNicolas LéchevinPublished in: Expert Syst. Appl. (2015)
Keyphrases
- model checking
- risk analysis
- temporal logic
- risk management
- decision making
- formal verification
- formal specification
- model checker
- risk assessment
- temporal properties
- automated verification
- symbolic model checking
- computation tree logic
- bounded model checking
- verification method
- epistemic logic
- formal methods
- timed automata
- transition systems
- probabilistic model
- risk factors
- bayesian networks
- probability theory
- fuzzy numbers
- information security
- influence diagrams
- decision theory
- graphical models
- search space
- alternating time temporal logic