Publication:5278082
From MaRDI portal
DOI10.23638/LMCS-13(2:15)2017zbMath1448.68280MaRDI QIDQ5278082
Jan Křetínský, Zuzana Křetínská, Krishnendu Chatterjee
Publication date: 13 July 2017
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.)
Related Items
Simple Strategies in Multi-Objective MDPs, Multi-objective optimization of long-run average and total rewards, Simple stochastic games with almost-sure energy-parity objectives are in NP and conp, Unnamed Item
Uses Software