www.prismmodelchecker.org
[CY90] C. Courcoubetis and M. Yannakakis. Markov Decision Processes and Regular Events. In M. Paterson (editor), Proc. 17th International Colloquium on Automata, Languages and Programming (ICALP'90), volume 443 of LNCS, pages 336-349, Springer. 1990. [bib]
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications