:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Spengler, Stephan
Format:	Preprint
Published:	2024
Subjects:	Computer Science and Game Theory Logic in Computer Science D.2.4
Online Access:	https://arxiv.org/abs/2405.20804
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reachability and Safety Games under TSO Semantics
by: Spengler, Stephan
Published: (2024)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
by: Muvvala, Karan, et al.
Published: (2024)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
by: Abdulla, Parosh Aziz, et al.
Published: (2026)

Common $p$-Belief with Plausibility Measures: Extended Abstract
by: Pacuit, Eric, et al.
Published: (2025)

Formal Verification of Diffusion Auctions
by: Galimullin, Rustam, et al.
Published: (2025)

TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
by: Spengler, Stephan, et al.
Published: (2023)

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

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

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
by: Sextl, Florian, et al.
Published: (2023)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
by: Mustafa, Daham, et al.
Published: (2026)

Coverage Games
by: Kupferman, Orna, et al.
Published: (2026)

Parf: Adaptive Parameter Refining for Abstract Interpretation
by: Wang, Zhongyi, et al.
Published: (2024)

An ACL2s Interface to Z3
by: Walter, Andrew T., et al.
Published: (2025)

Why does it fail? Explanation of verification failures
by: Eriksson, Lars-Henrik
Published: (2026)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
by: Mustafa, Daham, et al.
Published: (2026)

Scott's Representation Theorem and the Univalent Karoubi Envelope
by: van der Leer, Arnoud, et al.
Published: (2025)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
by: Myreen, Magnus O., et al.
Published: (2025)

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

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

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

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

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

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)

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

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

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)

Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup
by: Siegel, Andrew R.
Published: (2025)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
by: Soroka, Emiko, et al.
Published: (2023)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
by: Knothe, David, et al.
Published: (2026)

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)

Verifying Procedural Programs via Constrained Rewriting Induction
by: Fuhs, Carsten, et al.
Published: (2014)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
by: Frenkel, Eden, et al.
Published: (2026)

Parameterized Verification of Disjunctive Timed Networks
by: André, Étienne, et al.
Published: (2023)

Implicit Knowledge in Unawareness Structures
by: Belardinelli, Gaia, et al.
Published: (2023)

A Note on the Parameterised Complexity of Coverability in Vector Addition Systems
by: Pilipczuk, Michał, et al.
Published: (2025)

Path-optimal symbolic execution of heap-manipulating programs
by: Braione, Pietro, et al.
Published: (2024)

Computation as a Game
by: Bilokon, Paul Alexander
Published: (2025)