Towards Solving Decision Making Problems Using Probabilistic Model Checking.

Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong

Browse the full ICECCS paper archive.