Copertina

A Hierarchy of Supermartingales for $ω$-Regular Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kura, Satoshi, Unno, Hiroshi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
di: Kura, Satoshi, et al.
Pubblicazione: (2025)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
di: Kura, Satoshi, et al.
Pubblicazione: (2024)

Complete $ω$-Regular Supermartingale Certificates
di: Abate, Alessandro, et al.
Pubblicazione: (2026)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2025)

A Category-Theoretic Framework for Dependent Effect Systems
di: Kura, Satoshi, et al.
Pubblicazione: (2026)

Stochastic Omega-Regular Verification and Control with Supermartingales
di: Abate, Alessandro, et al.
Pubblicazione: (2024)

Formal Verification of Probing Security via Conditional Independence
di: Kura, Satoshi, et al.
Pubblicazione: (2026)

On Complete Categorical Semantics for Effect Handlers
di: Kura, Satoshi
Pubblicazione: (2026)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
di: Kura, Satoshi
Pubblicazione: (2023)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
di: Henzinger, Thomas A., et al.
Pubblicazione: (2025)

Quantitative Supermartingale Certificates
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

$ω$-Regular Energy Problems
di: Dziadek, Sven, et al.
Pubblicazione: (2022)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
di: Tsukada, Takeshi, et al.
Pubblicazione: (2025)

Value Functions as Supermartingale Certificates
di: Abate, Alessandro, et al.
Pubblicazione: (2026)

The Polynomial Hierarchy and $ω$-categorical CSPs
di: Pro, Santiago Guzmán, et al.
Pubblicazione: (2026)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
di: de Amorim, Pedro H. Azevedo, et al.
Pubblicazione: (2025)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
di: Anand, Ashwani, et al.
Pubblicazione: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

Multi-clocked Guarded Recursion Beyond ω
di: Møgelberg, Rasmus Ejlers
Pubblicazione: (2025)

Computational Paths Form a Weak ω-Groupoid
di: Ramos, Arthur F., et al.
Pubblicazione: (2025)

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

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
di: Asor, Ohad
Pubblicazione: (2026)

Invertible cells in $ω$-categories
di: Benjamin, Thibaut, et al.
Pubblicazione: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
di: Borgwardt, Stefan, et al.
Pubblicazione: (2024)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
di: Alexaj, Ondrej, et al.
Pubblicazione: (2026)

A type theory for invertibility in weak $ω$-categories
di: Benjamin, Thibaut, et al.
Pubblicazione: (2026)

A SUBSET-SUM Characterisation of the A-Hierarchy
di: Gutleben, Jan, et al.
Pubblicazione: (2024)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
di: Bruse, Florian, et al.
Pubblicazione: (2025)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
di: Sung, Miara
Pubblicazione: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

A Program Instrumentation Framework for Automatic Verification
di: Amilon, Jesper, et al.
Pubblicazione: (2024)

Globular weak $ω$-categories as models of a type theory
di: Benjamin, Thibaut, et al.
Pubblicazione: (2021)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
di: Kubono, Yudai, et al.
Pubblicazione: (2025)

Hyperproperty Verification as CHC Satisfiability
di: Itzhaky, Shachar, et al.
Pubblicazione: (2023)

Craig Interpolation in Program Verification
di: Rümmer, Philipp
Pubblicazione: (2026)

Tools at the Frontiers of Quantitative Verification
di: Andriushchenko, Roman, et al.
Pubblicazione: (2024)

Verification of Configurable SRA Systems
di: Cimatti, Alessandro, et al.
Pubblicazione: (2026)