Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David A game-based abstraction-refinement framework for Markov decision processes. (English) Zbl 1233.90276 Form. Methods Syst. Des. 36, No. 3, 246-280 (2010). MSC: 90C40 91A15 90C15 PDFBibTeX XMLCite \textit{M. Kattenbelt} et al., Form. Methods Syst. Des. 36, No. 3, 246--280 (2010; Zbl 1233.90276) Full Text: DOI Link
Kattenbelt, Mark; Kwiatkowska, Marta; Norman, Gethin; Parker, David Game-based probabilistic predicate abstraction in PRISM. (English) Zbl 1286.68316 Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 5-21 (2008). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Kattenbelt} et al., Electron. Notes Theor. Comput. Sci. 220, No. 3, 5--21 (2008; Zbl 1286.68316) Full Text: DOI
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus On the use of MTBDDs for performability analysis and verification of stochastic systems. (English) Zbl 1054.68018 J. Log. Algebr. Program. 56, No. 1-2, 23-67 (2003). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{H. Hermanns} et al., J. Log. Algebr. Program. 56, No. 1--2, 23--67 (2003; Zbl 1054.68018) Full Text: DOI