:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Leneutre, Jean, Malvone, Vadim, Ortiz, James
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Computer Science and Game Theory
Online-Zugang:	https://arxiv.org/abs/2411.00025
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Timed Obstruction Logic for Dynamic Game Models
von: Cortes, David, et al.
Veröffentlicht: (2025)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
von: Mensfelt, Agnieszka, et al.
Veröffentlicht: (2024)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
von: Rajasekaran, Senthil, et al.
Veröffentlicht: (2025)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
von: Gutierrez, Julian, et al.
Veröffentlicht: (2023)

State Definition for Conflict Analysis with Four-valued Logic
von: Kato, Yukiko
Veröffentlicht: (2022)

Games on Graphs: From Logic and Automata to Algorithms
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2023)

Temporal Explorability Games
von: Austin, Pete, et al.
Veröffentlicht: (2024)

Robust Probabilistic Temporal Logics
von: Zimmermann, Martin
Veröffentlicht: (2023)

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
von: Zhang, Yedi, et al.
Veröffentlicht: (2024)

Privacy-preserving Nash Equilibrium Synthesis with Partially Ordered Temporal Objectives
von: Probine, Caleb, et al.
Veröffentlicht: (2025)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

Computational Modelling for Combinatorial Game Strategies
von: Diaconescu, Răzvan
Veröffentlicht: (2024)

Scaling CheckMate for Game-Theoretic Security
von: Rain, Sophie, et al.
Veröffentlicht: (2024)

Regular Games with Imperfect Information Are Not That Regular
von: Doyen, Laurent, et al.
Veröffentlicht: (2024)

Faster Game Solving by Fixpoint Acceleration
von: Hausmann, Daniel
Veröffentlicht: (2024)

Concurrent Strategies on Games with Algebras
von: Huriot-Tattegrain, Sacha, et al.
Veröffentlicht: (2024)

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

Are Large Random Graphs Always Safe to Hide?
von: Chakraborty, Sourav, et al.
Veröffentlicht: (2025)

Seven kinds of equivalent models for generalized coalition logics
von: Chen, Zixuan, et al.
Veröffentlicht: (2025)

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games
von: Doyen, Laurent, et al.
Veröffentlicht: (2026)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Antichains for Concurrent Parameterized Games
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2025)

Polytopal Stochastic Games
von: Castro, Pablo F., et al.
Veröffentlicht: (2025)

The Complexity of Games with Randomised Control
von: Bahmani, Sarvin, et al.
Veröffentlicht: (2026)

Generalised Reachability Games Revisited
von: Bose, Sougata, et al.
Veröffentlicht: (2025)

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

SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
von: Quansah, Paapa Kwesi, et al.
Veröffentlicht: (2026)

Completeness of coalition logics with seriality, independence of agents, or determinism
von: Li, Yinfeng, et al.
Veröffentlicht: (2024)

Memoryless Strategies in Stochastic Reachability Games
von: Kiefer, Stefan, et al.
Veröffentlicht: (2024)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
von: Roy, Rajarshi, et al.
Veröffentlicht: (2025)

Runtime Verification via Rational Monitor with Imperfect Information
von: Ferrando, Angelo, et al.
Veröffentlicht: (2024)

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

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

Towards a Proof System for Probabilistic Dynamic Logic
von: Johnsen, Einar Broch, et al.
Veröffentlicht: (2024)

Sound Value Iteration for Simple Stochastic Games
von: Azeem, Muqsit, et al.
Veröffentlicht: (2024)

Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
von: Fidan, Müge, et al.
Veröffentlicht: (2025)

Dicey Games: Shared Sources of Randomness in Distributed Systems
von: Brice, Léonard, et al.
Veröffentlicht: (2026)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
von: Yan, Rui, et al.
Veröffentlicht: (2022)

A theory of Lending Protocols in DeFi
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
von: Pusceddu, Daniele, et al.
Veröffentlicht: (2024)