Transportation risk analysis using probabilistic model checking

作者：

Highlights：

• 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.

摘要

•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,Risk management,Decision making,Model checking

论文评审过程：Available online 14 January 2015.

论文官网地址：https://doi.org/10.1016/j.eswa.2014.12.052