Publication:5278082

DOI10.23638/LMCS-13(2:15)2017zbMath1448.68280MaRDI QIDQ5278082

Krishnendu Chatterjee, Jan Křetínský, Zuzana Křetínská

Publication date: 13 July 2017

Mathematics Subject Classification ID

91A40: Other game-theoretic models

90C40: Markov and semi-Markov decision processes

68Q55: Semantics in the theory of computing

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• PRISM