Image de couverture de livre

Scaling CheckMate for Game-Theoretic Security

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rain, Sophie, Brugger, Lea Salome, Komel, Anja Petkovic, Kovacs, Laura, Rawson, Michael
Format:	Preprint
Publié:	2024
Sujets:	Computer Science and Game Theory Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
par: Komel, Anja Petković, et autres
Publié: (2025)

act: Technical report
par: Paraskevopoulou, Zoe, et autres
Publié: (2026)

Temporal Explorability Games
par: Austin, Pete, et autres
Publié: (2024)

Polytopal Stochastic Games
par: Castro, Pablo F., et autres
Publié: (2025)

Concurrent Strategies on Games with Algebras
par: Huriot-Tattegrain, Sacha, et autres
Publié: (2024)

Antichains for Concurrent Parameterized Games
par: Bertrand, Nathalie, et autres
Publié: (2025)

The Complexity of Games with Randomised Control
par: Bahmani, Sarvin, et autres
Publié: (2026)

Generalised Reachability Games Revisited
par: Bose, Sougata, et autres
Publié: (2025)

Regular Games with Imperfect Information Are Not That Regular
par: Doyen, Laurent, et autres
Publié: (2024)

Faster Game Solving by Fixpoint Acceleration
par: Hausmann, Daniel
Publié: (2024)

Computational Modelling for Combinatorial Game Strategies
par: Diaconescu, Răzvan
Publié: (2024)

Games with $ω$-Automatic Preference Relations
par: Bruyère, Véronique, et autres
Publié: (2025)

Benchmarks for Parity Games (extended version)
par: Keiren, Jeroen J. A.
Publié: (2014)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
par: Rajasekaran, Senthil, et autres
Publié: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
par: Doyen, Laurent, et autres
Publié: (2026)

A Category Theoretic Approach to Approximate Game Theory
par: Ghani, Neil
Publié: (2025)

Memoryless Strategies in Stochastic Reachability Games
par: Kiefer, Stefan, et autres
Publié: (2024)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
par: Gutierrez, Julian, et autres
Publié: (2023)

Sound Value Iteration for Simple Stochastic Games
par: Azeem, Muqsit, et autres
Publié: (2024)

Dicey Games: Shared Sources of Randomness in Distributed Systems
par: Brice, Léonard, et autres
Publié: (2026)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
par: Yan, Rui, et autres
Publié: (2022)

The Power of Counting Steps in Quantitative Games
par: Bose, Sougata, et autres
Publié: (2024)

Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
par: Feeken, Linda, et autres
Publié: (2024)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
par: Leneutre, Jean, et autres
Publié: (2024)

Are Large Random Graphs Always Safe to Hide?
par: Chakraborty, Sourav, et autres
Publié: (2025)

Seven kinds of equivalent models for generalized coalition logics
par: Chen, Zixuan, et autres
Publié: (2025)

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
par: Probine, Caleb, et autres
Publié: (2025)

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
par: Nayak, Satya Prakash, et autres
Publié: (2022)

Games on Graphs: From Logic and Automata to Algorithms
par: Fijalkow, Nathanaël, et autres
Publié: (2023)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
par: Bouyer, Patricia, et autres
Publié: (2021)

Completeness of coalition logics with seriality, independence of agents, or determinism
par: Li, Yinfeng, et autres
Publié: (2024)

Reachability and Safety Games under TSO Semantics (Extended Version)
par: Spengler, Stephan
Publié: (2024)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
par: Bjorndahl, Adam
Publié: (2025)

Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation
par: Streufert, Peter A.
Publié: (2021)

Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
par: Grover, Kush, et autres
Publié: (2026)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
par: Fidan, Müge, et autres
Publié: (2025)

A theory of Lending Protocols in DeFi
par: Bartoletti, Massimo, et autres
Publié: (2025)

State Definition for Conflict Analysis with Four-valued Logic
par: Kato, Yukiko
Publié: (2022)

Coverage Games
par: Kupferman, Orna, et autres
Publié: (2026)

Determining the Winner in Alternating-Move Games
par: Bellaïche, Itamar, et autres
Publié: (2026)