Imagen de Portada

Concurrent Strategies on Games with Algebras

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Huriot-Tattegrain, Sacha, Winskel, Glynn
Formato:	Preprint
Publicado:	2024
Materias:	Computer Science and Game Theory Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Concurrent Games over Relational Structures: The Origin of Game Comonads
por: Montacute, Yoàv, et al.
Publicado: (2024)

Antichains for Concurrent Parameterized Games
por: Bertrand, Nathalie, et al.
Publicado: (2025)

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

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

Computational Modelling for Combinatorial Game Strategies
por: Diaconescu, Răzvan
Publicado: (2024)

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

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

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

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

Temporal Explorability Games
por: Austin, Pete, et al.
Publicado: (2024)

Polytopal Stochastic Games
por: Castro, Pablo F., et al.
Publicado: (2025)

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

Generalised Reachability Games Revisited
por: Bose, Sougata, et al.
Publicado: (2025)

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

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

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

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

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

Causal Unfoldings and Disjunctive Causes
por: de Visme, Marc, et al.
Publicado: (2020)

Sound Value Iteration for Simple Stochastic Games
por: Azeem, Muqsit, et al.
Publicado: (2024)

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

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

The Power of Counting Steps in Quantitative Games
por: Bose, Sougata, et al.
Publicado: (2024)

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

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

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

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

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
por: Probine, Caleb, et al.
Publicado: (2025)

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

Games on Graphs: From Logic and Automata to Algorithms
por: Fijalkow, Nathanaël, et al.
Publicado: (2023)

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

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

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

On the Existence of Reactive Strategies Resilient to Delay
por: Fränzle, Martin, et al.
Publicado: (2023)

A Category Theoretic Approach to Approximate Game Theory
por: Ghani, Neil
Publicado: (2025)

Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions
por: Main, James C. A., et al.
Publicado: (2022)

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

A theory of Lending Protocols in DeFi
por: Bartoletti, Massimo, et al.
Publicado: (2025)

State Definition for Conflict Analysis with Four-valued Logic
por: Kato, Yukiko
Publicado: (2022)

Coverage Games
por: Kupferman, Orna, et al.
Publicado: (2026)