Buchumschlag

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Berthon, Raphaël, Katoen, Joost-Pieter, Winkler, Tobias
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computer Science and Game Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
von: Berthon, Raphaël, et al.
Veröffentlicht: (2025)

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
von: Avni, Guy, et al.
Veröffentlicht: (2024)

Sure-almost-sure and Sure-limit-sure Window Mean Payoff in Markov Decision Processes
von: Gaba, Pranshu, et al.
Veröffentlicht: (2026)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
von: Doyen, Laurent, et al.
Veröffentlicht: (2026)

Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
von: Brihaye, Thomas, et al.
Veröffentlicht: (2023)

Dynamic Programming for Epistemic Uncertainty in Markov Decision Processes
von: Benyamine, Axel, et al.
Veröffentlicht: (2026)

Contract-Based Distributed Synthesis in Two-Objective Parity Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms
von: Asadi, Ali, et al.
Veröffentlicht: (2024)

Performative Reinforcement Learning with Linear Markov Decision Process
von: Mandal, Debmalya, et al.
Veröffentlicht: (2024)

Model Checking Temporal Properties of Recursive Probabilistic Programs
von: Winkler, Tobias, et al.
Veröffentlicht: (2021)

Learning in Zero-Sum Markov Games: Relaxing Strong Reachability and Mixing Time Assumptions
von: Ouhamma, Reda, et al.
Veröffentlicht: (2023)

Permissive Equilibria in Multiplayer Reachability Games
von: Goeminne, Aline, et al.
Veröffentlicht: (2024)

Robin Hood Reachability Bidding Games
von: Almagor, Shaull, et al.
Veröffentlicht: (2024)

Robust Reward Design for Markov Decision Processes
von: Wu, Shuo, et al.
Veröffentlicht: (2024)

Multi-weighted Reachability Games and Their Application to Permissiveness
von: Brihaye, Thomas, et al.
Veröffentlicht: (2023)

Verification of Correlated Equilibria in Concurrent Reachability Games
von: Rajasekaran, Senthil, et al.
Veröffentlicht: (2026)

Generalised Reachability Games Revisited
von: Bose, Sougata, et al.
Veröffentlicht: (2025)

Synthesizing Permissive Winning Strategy Templates for Parity Games
von: Anand, Ashwani, et al.
Veröffentlicht: (2023)

Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games
von: Main, James C. A.
Veröffentlicht: (2023)

Greedy Routing Reachability Games
von: Lenzner, Pascal, et al.
Veröffentlicht: (2026)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Games on Graphs: A Time-Efficient Algorithm for Solving Finite Reachability and Safety Games
von: Giannetti, Christian
Veröffentlicht: (2024)

Reachability of Fair Allocations via Sequential Exchanges
von: Igarashi, Ayumi, et al.
Veröffentlicht: (2023)

The Intelligent Disobedience Game: Formulating Disobedience in Stackelberg Games and Markov Decision Processes
von: Hornig, Benedikt, et al.
Veröffentlicht: (2026)

Game-Theoretic Understandings of Multi-Agent Systems with Multiple Objectives
von: Wang, Yue
Veröffentlicht: (2025)

Combinatorial Markov Search
von: Bowers, Robin, et al.
Veröffentlicht: (2025)

Memoryless Strategies in Stochastic Reachability Games
von: Kiefer, Stefan, et al.
Veröffentlicht: (2024)

Infinite Horizon Markov Economies
von: Goktas, Denizalp, et al.
Veröffentlicht: (2025)

Markov Persuasion Processes: Learning to Persuade from Scratch
von: Bacchiocchi, Francesco, et al.
Veröffentlicht: (2024)

Expectation in Stochastic Games with Prefix-independent Objectives
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)

Metric Distortion under Group-Fair Objectives
von: Amanatidis, Georgios, et al.
Veröffentlicht: (2024)

Solving Qualitative Multi-Objective Stochastic Games
von: Graf, Moritz, et al.
Veröffentlicht: (2026)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
von: Kulkarni, Abhishek Ninad, et al.
Veröffentlicht: (2025)

Algorithms and Analysis for Optimizing Robust Objectives in Fair Machine Learning
von: Cousins, Cyrus
Veröffentlicht: (2024)

Maximally Diverse Stable Matchings: Optimizing Arbitrary Institutional Objectives
von: Csáji, Gergely, et al.
Veröffentlicht: (2026)

Common-agency Games for Multi-Objective Test-Time Alignment
von: Chen, Baiting, et al.
Veröffentlicht: (2026)

Convex-Concave Zero-sum Markov Stackelberg Games
von: Goktas, Denizalp, et al.
Veröffentlicht: (2024)

On characterization and existence of constrained correlated equilibria in Markov games
von: Ni, Tingting, et al.
Veröffentlicht: (2025)

Simultaneous AlphaZero: Extending Tree Search to Markov Games
von: Becker, Tyler, et al.
Veröffentlicht: (2025)