Copertina

Verification of Correlated Equilibria in Concurrent Reachability Games

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rajasekaran, Senthil, Raskin, Jean-François, Vardi, Moshe Y.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computer Science and Game Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Modeling Concurrent Multi-Agent Systems
di: Rajasekaran, Senthil, et al.
Pubblicazione: (2026)

Subgame-perfect Equilibria in Mean-payoff Games (journal version)
di: Brice, Léonard, et al.
Pubblicazione: (2022)

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

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

The Non-Cooperative Rational Synthesis Problem for Subgame Perfect Equilibria and omega-regular Objectives
di: Bruyère, Véronique, et al.
Pubblicazione: (2024)

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

The Complexity of Correlated Equilibria in Generalized Games
di: Bernasconi, Martino, et al.
Pubblicazione: (2025)

On the Complexity of Correlated Equilibria Beyond Normal-Form Games
di: Anagnostides, Ioannis, et al.
Pubblicazione: (2026)

As Soon as Possible but Rationally
di: Bruyère, Véronique, et al.
Pubblicazione: (2024)

An Automata-Based Approach to Games with $ω$-Automatic Preferences
di: Bruyère, Véronique, et al.
Pubblicazione: (2026)

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

Stochastic Games for Interactive Manipulation Domains
di: Muvvala, Karan, et al.
Pubblicazione: (2024)

Likelihood Equilibria in the Ising Game
di: Leonidov, Andrey
Pubblicazione: (2024)

Semicoarse Correlated Equilibria and LP-Based Guarantees for Gradient Dynamics in Normal-Form Games
di: Ahunbay, Mete Şeref, et al.
Pubblicazione: (2025)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
di: Bhaduri, Purandar
Pubblicazione: (2025)

Mediator Interpretation and Faster Learning Algorithms for Linear Correlated Equilibria in General Extensive-Form Games
di: Zhang, Brian Hu, et al.
Pubblicazione: (2023)

Equilibria in Large Position-Optimization Games
di: Frongillo, Rafael, et al.
Pubblicazione: (2026)

Equilibria of the Colonel Blotto Games with Costs
di: Kaźmierowski, Stanisław
Pubblicazione: (2024)

Robin Hood Reachability Bidding Games
di: Almagor, Shaull, et al.
Pubblicazione: (2024)

Swap Regret and Correlated Equilibria Beyond Normal-Form Games
di: Arunachaleswaran, Eshwar Ram, et al.
Pubblicazione: (2025)

Computing Perfect Bayesian Equilibria in Sequential Auctions with Verification
di: Thoma, Vinzenz, et al.
Pubblicazione: (2023)

Value-Set Iteration: Computing Optimal Correlated Equilibria in Infinite-Horizon Multi-Player Stochastic Games
di: Gan, Jiarui, et al.
Pubblicazione: (2025)

Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention
di: Troquard, Nicolas
Pubblicazione: (2024)

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

Nash Equilibria in Reverse Temporal Voronoi Games
di: Pawlowski, Simeon, et al.
Pubblicazione: (2024)

On the Uniqueness of Nash Equilibria in Multiagent Matrix Games
di: Bailey, James P.
Pubblicazione: (2024)

Multi-weighted Reachability Games and Their Application to Permissiveness
di: Brihaye, Thomas, et al.
Pubblicazione: (2023)

Generalised Reachability Games Revisited
di: Bose, Sougata, et al.
Pubblicazione: (2025)

A Coupled Optimization Framework for Correlated Equilibria in Normal-Form Game
di: Li, Sarah H. Q., et al.
Pubblicazione: (2024)

Greedy Routing Reachability Games
di: Lenzner, Pascal, et al.
Pubblicazione: (2026)

Learning Equilibria in Coordination Games via Minorization-Maximization
di: S., Ashok Krishnan K., et al.
Pubblicazione: (2026)

Strong Equilibria in Bayesian Games with Bounded Group Size
di: Han, Qishen, et al.
Pubblicazione: (2025)

The Complexity of Computing Robust Mediated Equilibria in Ordinal Games
di: Conitzer, Vincent
Pubblicazione: (2024)

Quickest Detection of Adversarial Attacks Against Correlated Equilibria
di: Kazari, Kiarash, et al.
Pubblicazione: (2025)

On the Outcome Equivalence of Extensive-Form and Behavioral Correlated Equilibria
di: Zhang, Brian Hu, et al.
Pubblicazione: (2024)

On the Power of Strategic Corpus Enrichment in Content Creation Games
di: Nachimovsky, Haya, et al.
Pubblicazione: (2024)

Polynomial-Time Computation of Exact $Φ$-Equilibria in Polyhedral Games
di: Farina, Gabriele, et al.
Pubblicazione: (2024)

Most General Winning Secure Equilibria Synthesis in Graph Games
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2024)

Computing Nash Equilibria in Potential Games with Private Uncoupled Constraints
di: Patris, Nikolas, et al.
Pubblicazione: (2024)