Cover Image

Multi-weighted Reachability Games and Their Application to Permissiveness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brihaye, Thomas, Goeminne, Aline
Format:	Preprint
Published:	2023
Subjects:	Computer Science and Game Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Permissive Equilibria in Multiplayer Reachability Games
by: Goeminne, Aline, et al.
Published: (2024)

Stackelberg-Pareto Synthesis with Quantitative Reachability Objectives
by: Brihaye, Thomas, et al.
Published: (2023)

Valuing the Electricity Produced Locally in Renewable Energy Communities through Noncooperative Resources Scheduling Games
by: Sadoine, Louise, et al.
Published: (2023)

Synthesizing Permissive Winning Strategy Templates for Parity Games
by: Anand, Ashwani, et al.
Published: (2023)

Robin Hood Reachability Bidding Games
by: Almagor, Shaull, et al.
Published: (2024)

Verification of Correlated Equilibria in Concurrent Reachability Games
by: Rajasekaran, Senthil, et al.
Published: (2026)

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

Greedy Routing Reachability Games
by: Lenzner, Pascal, et al.
Published: (2026)

Games on Graphs: A Time-Efficient Algorithm for Solving Finite Reachability and Safety Games
by: Giannetti, Christian
Published: (2024)

Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games
by: Main, James C. A.
Published: (2023)

Concurrent Permissive Strategy Templates
by: Anand, Ashwani, et al.
Published: (2026)

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

Computing Adequately Permissive Assumptions for Synthesis
by: Anand, Ashwani, et al.
Published: (2023)

Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
by: Avni, Guy, et al.
Published: (2024)

Automated Approach for Solving Infinite-state Polynomial Reachability Games
by: Chatterjee, Krishnendu, et al.
Published: (2026)

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

Multi-group Bayesian Games
by: Yuan, Hongxing, et al.
Published: (2025)

Reachability and Safety Games under TSO Semantics (Extended Version)
by: Spengler, Stephan
Published: (2024)

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives
by: Berthon, Raphaël, et al.
Published: (2024)

Permissible four-strategy quantum extensions of classical games
by: Frąckiewicz, Piotr, et al.
Published: (2024)

Learning Bayesian Game Families, with Application to Mechanism Design
by: Gatchel, Madelyn, et al.
Published: (2025)

Vector Cost Bimatrix Games with Applications to Autonomous Racing
by: Toaz, Benjamin R., et al.
Published: (2025)

Permissible extensions of classical to quantum games combining three strategies
by: Frąckiewicz, Piotr, et al.
Published: (2024)

The Value of Ambiguous Commitments in Multi-Follower Games
by: Collina, Natalie, et al.
Published: (2024)

Solving Qualitative Multi-Objective Stochastic Games
by: Graf, Moritz, et al.
Published: (2026)

Escape Sensing Games: Detection-vs-Evasion in Security Applications
by: Boehmer, Niclas, et al.
Published: (2024)

Bidding Games with Charging
by: Avni, Guy, et al.
Published: (2024)

Price of Anarchy of Multi-Stage Machine Scheduling Games
by: Chen, Ho-Lin, et al.
Published: (2025)

Facility Location Games for Multi-Location Agents with Satisfaction
by: Wang, Huanjun, et al.
Published: (2025)

Computing Perfect Bayesian Equilibria, with Application to Empirical Game-Theoretic Analysis
by: Konicki, Christine, et al.
Published: (2026)

Reachability of Fair Allocations via Sequential Exchanges
by: Igarashi, Ayumi, et al.
Published: (2023)

Games in Product Form for Demand Response Modelling
by: Buchholtzer, Thomas, et al.
Published: (2025)

Selling Information in Games with Externalities
by: Falconer, Thomas, et al.
Published: (2025)

Common-agency Games for Multi-Objective Test-Time Alignment
by: Chen, Baiting, et al.
Published: (2026)

Computing Equilibria in Games with Stochastic Action Sets
by: Schwarz, Thomas, et al.
Published: (2026)

Evolutionarily Stable Preferences Against Multiple Mutations in Multi-player Games
by: Tu, Yu-Sung, et al.
Published: (2018)

ε-Stationary Nash Equilibria in Multi-player Stochastic Graph Games
by: Asadi, Ali, et al.
Published: (2025)

Online Decision-Making in Tree-Like Multi-Agent Games with Transfers
by: Scheid, Antoine, et al.
Published: (2025)

Low-Rank Graphon Estimation: Theory and Applications to Graphon Games
by: Klopp, Olga, et al.
Published: (2025)

Byzantine Robust Cooperative Multi-Agent Reinforcement Learning as a Bayesian Game
by: Li, Simin, et al.
Published: (2023)