scientific article; zbMATH DE number 6744392

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

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

Publication date: 13 July 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other game-theoretic models (91A40) Markov and semi-Markov decision processes (90C40) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

Simple Strategies in Multi-Objective MDPs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Multi-objective optimization of long-run average and total rewards

Uses Software

• PRISM