Copertina

Reachability and Safety Games under TSO Semantics (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Spengler, Stephan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computer Science and Game Theory Logic in Computer Science D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reachability and Safety Games under TSO Semantics
di: Spengler, Stephan
Pubblicazione: (2024)

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

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

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

Formal Verification of Diffusion Auctions
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

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

Generalised Reachability Games Revisited
di: Bose, Sougata, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

Coverage Games
di: Kupferman, Orna, et al.
Pubblicazione: (2026)

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

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

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

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

Temporal Explorability Games
di: Austin, Pete, et al.
Pubblicazione: (2024)

Polytopal Stochastic Games
di: Castro, Pablo F., et al.
Pubblicazione: (2025)

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

Antichains for Concurrent Parameterized Games
di: Bertrand, Nathalie, et al.
Pubblicazione: (2025)

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

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

Regular Games with Imperfect Information Are Not That Regular
di: Doyen, Laurent, et al.
Pubblicazione: (2024)

Faster Game Solving by Fixpoint Acceleration
di: Hausmann, Daniel
Pubblicazione: (2024)

Computational Modelling for Combinatorial Game Strategies
di: Diaconescu, Răzvan
Pubblicazione: (2024)

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

Benchmarks for Parity Games (extended version)
di: Keiren, Jeroen J. A.
Pubblicazione: (2014)

Scaling CheckMate for Game-Theoretic Security
di: Rain, Sophie, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

Type Inference for Isabelle2Cpp
di: Jiang, Dongchen, et al.
Pubblicazione: (2024)