the difference between DTMC model and MDP model

[liyue...@163.com]

Hello
I have finished two examples about DTMC and MDP, but I really
don't know the differece between DTMC model and MDP model.The paper
said that MDP has the nondeterminism in the model ,however I don't
realize that. Please help .Thanks.

[Dave Parker]

There are some pointers to PRISM-related tutorial papers here:

http://www.prismmodelchecker.org/about.php

For a simple, high-level description of the differences between models,
see e.g. the first part of this paper:

http://www.prismmodelchecker.org/bibitem.php?key=KNP10c

Dave