:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Probine, Caleb, Kulkarni, Abhishek, Topcu, Ufuk
Format:	Preprint
Published:	2025
Subjects:	Computer Science and Game Theory Logic in Computer Science
Online Access:	https://arxiv.org/abs/2501.16307
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nash Equilibrium in Games on Graphs with Incomplete Preferences
by: Kulkarni, Abhishek N., et al.
Published: (2024)

Designing Inferable Signaling Schemes for Bayesian Persuasion
by: Probine, Caleb, et al.
Published: (2025)

Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives
by: Kulkarni, Abhishek Ninad, et al.
Published: (2025)

Dynamic Coalitions in Games on Graphs with Preferences over Temporal Goals
by: Yilmaz, A. Kaan Ata, et al.
Published: (2025)

When Should Agents Coordinate in Differentiable Sequential Decision Problems?
by: Probine, Caleb, et al.
Published: (2026)

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

Discovering Expert-Level Nash Equilibrium Algorithms with Large Language Models
by: Li, Hanyu, et al.
Published: (2025)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
by: Leneutre, Jean, et al.
Published: (2024)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
by: Nayak, Satya Prakash, et al.
Published: (2022)

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
by: Feeken, Linda, et al.
Published: (2024)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
by: Bouyer, Patricia, et al.
Published: (2022)

Dynamic Coalition Structure Detection in Natural Language-based Interactions
by: Kulkarni, Abhishek N., et al.
Published: (2025)

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

More Information is Not Always Better: Connections between Zero-Sum Local Nash Equilibria in Feedback and Open-Loop Information Patterns
by: Gupta, Kushagra, et al.
Published: (2025)

Are Large Random Graphs Always Safe to Hide?
by: Chakraborty, Sourav, et al.
Published: (2025)

Seven kinds of equivalent models for generalized coalition logics
by: Chen, Zixuan, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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)

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

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

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

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

Deceptive Planning Exploiting Inattention Blindness
by: Karabag, Mustafa O., et al.
Published: (2025)

Scalable Coordination with Chance-Constrained Correlated Equilibria via Reduced-Rank Structure
by: Im, Jaehan, et al.
Published: (2026)

Completeness of coalition logics with seriality, independence of agents, or determinism
by: Li, Yinfeng, et al.
Published: (2024)

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

Reinforcement Nash Equilibrium Solver
by: Wang, Xinrun, et al.
Published: (2024)

Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games
by: Gupta, Kushagra, et al.
Published: (2024)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
by: Fidan, Müge, et al.
Published: (2025)

A theory of Lending Protocols in DeFi
by: Bartoletti, Massimo, 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)

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