Buchumschlag

Complete $ω$-Regular Supermartingale Certificates

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abate, Alessandro, Giacobbe, Mirco, Ichtchenko, Sergey, Roy, Diptarko
Format:	Preprint
Veröffentlicht:	2026
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

Quantitative Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Value Functions as Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2026)

Quantitative Verification with Neural Networks
von: Abate, Alessandro, et al.
Veröffentlicht: (2023)

A Hierarchy of Supermartingales for $ω$-Regular Verification
von: Kura, Satoshi, et al.
Veröffentlicht: (2025)

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Branching Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

$ω$-Regular Energy Problems
von: Dziadek, Sven, et al.
Veröffentlicht: (2022)

Zero-Knowledge Model Checking
von: Berrang, Pascal, et al.
Veröffentlicht: (2026)

Neural Model Checking
von: Giacobbe, Mirco, et al.
Veröffentlicht: (2024)

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

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
von: Kura, Satoshi, et al.
Veröffentlicht: (2025)

Neural Continuous-Time Supermartingale Certificates
von: Neustroev, Grigory, et al.
Veröffentlicht: (2024)

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

Safe Reach Set Computation via Neural Barrier Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
von: Anand, Ashwani, et al.
Veröffentlicht: (2025)

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

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
von: Rickard, Luke, et al.
Veröffentlicht: (2023)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
von: Różowski, Wojciech
Veröffentlicht: (2024)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

Multi-clocked Guarded Recursion Beyond ω
von: Møgelberg, Rasmus Ejlers
Veröffentlicht: (2025)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
von: Bowler, Nathan, et al.
Veröffentlicht: (2025)

Computational Paths Form a Weak ω-Groupoid
von: Ramos, Arthur F., et al.
Veröffentlicht: (2025)

On the Completeness of Interpolation Algorithms
von: Hetzl, Stefan, et al.
Veröffentlicht: (2024)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

Games with $ω$-Automatic Preference Relations
von: Bruyère, Véronique, et al.
Veröffentlicht: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
von: Asor, Ohad
Veröffentlicht: (2026)

Invertible cells in $ω$-categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Partial Quantifier Elimination By Certificate Clauses
von: Goldberg, Eugene
Veröffentlicht: (2020)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

Best-Effort Policies for Robust Markov Decision Processes
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)