Buchumschlag

Quantitative Supermartingale Certificates

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Complete $ω$-Regular Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2026)

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)

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

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

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)

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

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

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

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

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

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

Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2023)

Control Closure Certificates
von: Murali, Vishnu, et al.
Veröffentlicht: (2025)

Barrier Certificates for Uncertain Temporal Specifications
von: Mamduhi, Mohammad H., et al.
Veröffentlicht: (2026)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
von: Murali, Vishnu, et al.
Veröffentlicht: (2026)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

ARCH-COMP25 Category Report: Stochastic Models
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
von: Lewis, Marco, et al.
Veröffentlicht: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

Quantitative Monitoring of Signal First-Order Logic
von: Chalupa, Marek, et al.
Veröffentlicht: (2026)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
von: Wooding, Ben, et al.
Veröffentlicht: (2026)

Solvability of Approximate Reach-Avoid Games
von: Gleirscher, Mario
Veröffentlicht: (2025)

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
von: Hsieh, Chiao, et al.
Veröffentlicht: (2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
von: Graebener, Josefine B., et al.
Veröffentlicht: (2025)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
von: Groote, Jan Friso, et al.
Veröffentlicht: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Context-Aided Variable Elimination for Requirement Engineering
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

CESAR: Control Envelope Synthesis via Angelic Refinements
von: Kabra, Aditi, et al.
Veröffentlicht: (2023)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
von: Schön, Oliver, et al.
Veröffentlicht: (2023)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
von: Incer, Inigo, et al.
Veröffentlicht: (2023)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
von: Tang, Valdemar, et al.
Veröffentlicht: (2024)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
von: Phalakarn, Kittiphon, et al.
Veröffentlicht: (2024)

Efficient Discovery of Actual Causality using Abstraction-Refinement
von: Rafieioskouei, Arshia, et al.
Veröffentlicht: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
von: Incer, Inigo
Veröffentlicht: (2024)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
von: Engelaar, Maico H. W., et al.
Veröffentlicht: (2024)