Towards Solving Decision Making Problems Using Probabilistic Model Checking. - Ling Shi; Shuang Liu 007; Jianye Hao; Jun Yang Koh; Zhe Hou; Jin Song Dong (ICECCS, 2017)