scientific article; zbMATH DE number 7559495

DOI10.4230/LIPICS.CONCUR.2020.39MaRDI QIDQ5089306zbMATH OpenFDO

Authors Stefan Kiefer, Mahsa Shirmohammadi, Patrick Totzke, Richard M. Mayr

Publication date 18 July 2022

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

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)

Cites work

• scientific article; zbMATH DE number 3990873 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 1786127 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 7561612 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A survey of computational complexity results in systems and control
• Automata, logics, and infinite games. A guide to current research
• Foundations of Software Science and Computation Structures
• Handbook of model checking
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Markov decision processes with applications to finance.
• On the Existence of Stationary Optimal Strategies
• Parity objectives in countable MDPs
• Reinforcement learning. An introduction

Cited in

(2)

• Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
• scientific article; zbMATH DE number 6125177 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089306)