Imagen de Portada

Reachability and Safety Games under TSO Semantics (Extended Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Spengler, Stephan
Formato:	Preprint
Publicado:	2024
Materias:	Computer Science and Game Theory Logic in Computer Science D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Formal Verification of Diffusion Auctions
por: Galimullin, Rustam, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

Computational Modelling for Combinatorial Game Strategies
por: Diaconescu, Răzvan
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)

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

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

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

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

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

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

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

SMT-based Symbolic Model-Checking for Operator Precedence Languages
por: Chiari, Michele, et al.
Publicado: (2024)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
por: Reinhard, Tobias
Publicado: (2024)

Type Inference for Isabelle2Cpp
por: Jiang, Dongchen, et al.
Publicado: (2024)