Transportation risk analysis using probabilistic model checking
Elaboration of an approach for transportation risk assessment and contingency evaluation. Modeling risk prone transportation tasks as composed Markov Decision Process (MDP). Assessment of transportation tasks expressed as MDP via probabilistic model checking. Provision of decision making support via decision trees built from the model checking output. Evaluation of risk related properties expressed in probabilistic temporal logic.
transport model checking decision making risk management