scientific article; zbMATH DE number 7559495

DOI10.4230/LIPIcs.CONCUR.2020.39MaRDI QIDQ5089306

Patrick Totzke, Mahsa Shirmohammadi, Stefan Kiefer, Richard Mayr

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2007.05065

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

zbMATH Keywords

Markov decision processesparity objectivesLevy's zero-one law

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Markov decision processes with applications to finance.
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Automata, logics, and infinite games. A guide to current research
• Handbook of Model Checking
• Foundations of Software Science and Computation Structures
• On the Existence of Stationary Optimal Strategies
• A survey of computational complexity results in systems and control

This page was built for publication: