The value problem for multiple-environment MDPs with parity objective

DOI10.4230/LIPICS.ICALP.2025.150MaRDI QIDQ7397610zbMATH OpenFDO

Authors Krishnendu Chatterjee, Laurent Doyen, Jean-François Raskin, Ocan Sankur

Publication date 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2025.150

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Cites work

• A PSPACE algorithm for almost-sure rabin objectives in multi-environment MDPs
• Computation of weighted sums of rewards for concurrent MDPs
• Handbook of Markov decision processes. Methods and applications
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Markov decision processes in practice
• Multiple-environment Markov decision processes
• On the undecidability of probabilistic planning and related stochastic optimization problems
• Optimal control of Markov processes with incomplete state information
• Probabilistic automata on finite words: decidable and undecidable problems
• Probabilistic ω-automata
• Probability Inequalities for Sums of Bounded Random Variables
• Randomness for free
• Robust almost-sure reachability in multi-environment MDPs
• The Complexity of Markov Decision Processes
• The complexity of probabilistic verification
• The complexity of promise problems with applications to public-key cryptography
• The determinacy of Blackwell games

This page was built for publication: The value problem for multiple-environment MDPs with parity objective

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