Cover Image

Sound Value Iteration for Simple Stochastic Games

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Azeem, Muqsit, Kretinsky, Jan, Weininger, Maximilian
Format:	Preprint
Published:	2024
Subjects:	Computer Science and Game Theory Logic in Computer Science Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Sound Value Iteration for Simple Stochastic Games
by: Azeem, Muqsit, et al.
Published: (2025)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
by: Grover, Kush, et al.
Published: (2026)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
by: Grobelna, Marta, et al.
Published: (2025)

Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games
by: Meggendorfer, Tobias, et al.
Published: (2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
by: Azeem, Muqsit, et al.
Published: (2024)

Determining the Winner in Alternating-Move Games
by: Bellaïche, Itamar, et al.
Published: (2026)

Polytopal Stochastic Games
by: Castro, Pablo F., et al.
Published: (2025)

Dicey Games: Shared Sources of Randomness in Distributed Systems
by: Brice, Léonard, et al.
Published: (2026)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
by: Doyen, Laurent, et al.
Published: (2026)

Memoryless Strategies in Stochastic Reachability Games
by: Kiefer, Stefan, et al.
Published: (2024)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
by: Gutierrez, Julian, et al.
Published: (2023)

Omniscient Attacker in Stochastic Security Games with Interdependent Nodes
by: Arslantas, Yuksel, et al.
Published: (2025)

A Category Theoretic Approach to Approximate Game Theory
by: Ghani, Neil
Published: (2025)

Temporal Explorability Games
by: Austin, Pete, et al.
Published: (2024)

Concurrent Strategies on Games with Algebras
by: Huriot-Tattegrain, Sacha, et al.
Published: (2024)

Antichains for Concurrent Parameterized Games
by: Bertrand, Nathalie, et al.
Published: (2025)

The Complexity of Games with Randomised Control
by: Bahmani, Sarvin, et al.
Published: (2026)

Generalised Reachability Games Revisited
by: Bose, Sougata, et al.
Published: (2025)

Regular Games with Imperfect Information Are Not That Regular
by: Doyen, Laurent, et al.
Published: (2024)

Faster Game Solving by Fixpoint Acceleration
by: Hausmann, Daniel
Published: (2024)

Computational Modelling for Combinatorial Game Strategies
by: Diaconescu, Răzvan
Published: (2024)

Games with $ω$-Automatic Preference Relations
by: Bruyère, Véronique, et al.
Published: (2025)

Benchmarks for Parity Games (extended version)
by: Keiren, Jeroen J. A.
Published: (2014)

Robust Verification of Concurrent Stochastic Games
by: He, Angel Y., et al.
Published: (2026)

Scaling CheckMate for Game-Theoretic Security
by: Rain, Sophie, et al.
Published: (2024)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
by: Yan, Rui, et al.
Published: (2022)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
by: Rajasekaran, Senthil, et al.
Published: (2025)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
by: Bouyer, Patricia, et al.
Published: (2021)

Aspiration-based Perturbed Learning Automata in Games with Noisy Utility Measurements. Part B: Stochastic Stability in Weakly Acyclic Games
by: Chasparis, Georgios C.
Published: (2025)

A Stochastic Surveillance Stackelberg Game: Co-Optimizing Defense Placement and Patrol Strategy
by: John, Yohan, et al.
Published: (2023)

Game-to-Real Gap: Quantifying the Effect of Model Misspecification in Network Games
by: Ferguson, Bryce L., et al.
Published: (2026)

Policy Iteration for Two-Player General-Sum Stochastic Stackelberg Games
by: Kudo, Mikoto, et al.
Published: (2024)

Learning in Stackelberg Markov Games
by: He, Jun, et al.
Published: (2025)

Strategic Coalitions in Networked Contest Games
by: Diaz-Garcia, Gilberto, et al.
Published: (2024)

Battlefield Transfers in Coalitional Blotto Games
by: Shah, Vade, et al.
Published: (2023)

Reinforcement Strategies in General Lotto Games
by: Paarporn, Keith, et al.
Published: (2023)

Last-Iterate Guarantees for Learning in Co-coercive Games
by: Chandak, Siddharth, et al.
Published: (2026)

On the Variational Interpretation of Mirror Play in Monotone Games
by: Pan, Yunian, et al.
Published: (2024)

Rationality of Learning Algorithms in Repeated Normal-Form Games
by: Bajaj, Shivam, et al.
Published: (2024)

Projected Variational Quantum Extragradient for Zero-Sum Games
by: Do, Duong The, et al.
Published: (2026)