Stochastic games with synchronization objectives

DOI10.1145/3588866MaRDI QIDQ7032106zbMATH OpenFDO

Authors Laurent Doyen

Publication date 5 February 2025

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3588866

zbMATH Keywords

probability distributionsstochastic gamessynchronization

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15)

Cites work

• A note on emptiness for alternating finite automata with a one-letter alphabet
• A survey of stochastic -regular games
• Algorithms for Omega-Regular Games with Imperfect Information
• Approximate verification of the symbolic dynamics of Markov chains
• Concurrent reachability games
• Controlling a population
• Controlling a random population
• Distributed synthesis is simply undecidable
• Distribution-based objectives for Markov decision processes
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3371972 (Why is no real title available?)
• scientific article; zbMATH DE number 3189696 (Why is no real title available?)
• Keeping a crowd safe: on the complexity of parameterized verification (invited talk)
• Lattice translates of a polytope and the Frobenius problem
• Markov decision processes with multiple long-run average objectives
• Modal logics and mu-calculi: An introduction
• On the undecidability of probabilistic planning and related stochastic optimization problems
• Probabilistic Hyperproperties of Markov Decision Processes
• Probabilistic Hyperproperties with Nondeterminism
• Probabilistic ω-automata
• Programming discrete distributions with chemical reaction networks
• Qualitative determinacy and decidability of stochastic games with signals
• Quantitative stochastic parity games
• The complexity of probabilistic verification
• The complexity of synchronizing Markov decision processes
• The complexity of two-player games of incomplete information
• The determinacy of Blackwell games
• The mu-calculus and Model Checking
• Theorie der endlichen und unendlichen Graphen. Kombinatorische Topologie der Streckenkomplexe.

This page was built for publication: Stochastic games with synchronization objectives

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