Buchumschlag

Traces via Strategies in Two-Player Games

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Plummer, Benjamin, Cirstea, Corina
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Linear-time logics -- a coalgebraic perspective
von: Cirstea, Corina
Veröffentlicht: (2016)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
von: Kojima, Ryota, et al.
Veröffentlicht: (2025)

An ASP-based approach to Solving General Stochastic Two-Player Games
von: He, Yifan, et al.
Veröffentlicht: (2026)

Feasibility Preservation under Monotone Retrieval Truncation
von: Plummer, Sean
Veröffentlicht: (2026)

Positional Properties in Temporal Logic
von: Newman, Jessica, et al.
Veröffentlicht: (2026)

Reintroducing the Second Player in EPR
von: Chew, Leroy, et al.
Veröffentlicht: (2026)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

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

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
von: Grädel, Erich, et al.
Veröffentlicht: (2021)

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

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
von: Vialard, Isa
Veröffentlicht: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

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

Strategies in Sabotage Games: Temporal and Epistemic Perspectives
von: Gierasimczuk, Nina, et al.
Veröffentlicht: (2026)

Galois Energy Games: To Solve All Kinds of Quantitative Reachability Problems
von: Lemke, Caroline, et al.
Veröffentlicht: (2025)

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

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
von: Bisping, Benjamin, et al.
Veröffentlicht: (2024)

Trace Repair for Temporal Behavior Trees
von: Schirmer, Sebastian, et al.
Veröffentlicht: (2025)

The Algebra of Parity Games
von: Piedeleu, Robin
Veröffentlicht: (2025)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2025)

Shininess, strong politeness, and unicorns
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
von: Mannucci, Mirco A.
Veröffentlicht: (2025)

A Sequent Calculus For Trace Formula Implication
von: Heidler, Niklas, et al.
Veröffentlicht: (2025)

Automata Linear Dynamic Logic on Finite Traces
von: Smith, Kevin W., et al.
Veröffentlicht: (2021)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2024)

The Qualitative Collapse of Concurrent Games
von: Clairambault, Pierre
Veröffentlicht: (2024)

Stuttering Equivalence for Parity Games
von: Cranen, Sjoerd, et al.
Veröffentlicht: (2011)

Witnesses for Fixpoint Games on Lattices
von: König, Barbara, et al.
Veröffentlicht: (2026)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
von: Koul, Prajval, et al.
Veröffentlicht: (2025)

Infinite Traces by Finality: a Sheaf-Theoretic Approach
von: Peressotti, Marco
Veröffentlicht: (2025)

Relational Hoare Logic for Realistically Modelled Machine Code
von: Mazzucato, Denis, et al.
Veröffentlicht: (2025)

Pebble Games and Algebraic Proof Systems
von: Jaser, Lisa-Marie, et al.
Veröffentlicht: (2025)

Multi-Structural Games and Number of Quantifiers
von: Fagin, Ronald, et al.
Veröffentlicht: (2021)

Hybrid-Dynamic Ehrenfeucht-Fraisse Games
von: Badia, Guillermo, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)

Two Remarks about Game Semantics of Classical Logic
von: Coquand, Thierry
Veröffentlicht: (2026)