Cover Image

Stochastic Omega-Regular Verification and Control with Supermartingales

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantitative Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2025)

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

Value Functions as Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Quantitative Verification with Neural Networks
by: Abate, Alessandro, et al.
Published: (2023)

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

Neural Proofs for Sound Verification and Control of Complex Systems
by: Abate, Alessandro
Published: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
by: Badings, Thom, et al.
Published: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2024)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
by: Rickard, Luke, et al.
Published: (2023)

Branching Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2025)

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
by: Belly, Marius, et al.
Published: (2024)

A Hierarchy of Supermartingales for $ω$-Regular Verification
by: Kura, Satoshi, et al.
Published: (2025)

ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
by: Gu, Chao, et al.
Published: (2020)

Neural Continuous-Time Supermartingale Certificates
by: Neustroev, Grigory, et al.
Published: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

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

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

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

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
by: Zhou, Yuhao, et al.
Published: (2023)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
by: Engelaar, Maico H. W., et al.
Published: (2024)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)

Learning Algorithms for Verification of Markov Decision Processes
by: Brázdil, Tomáš, et al.
Published: (2024)

CESAR: Control Envelope Synthesis via Angelic Refinements
by: Kabra, Aditi, et al.
Published: (2023)

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

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
by: Li, Yufeng, et al.
Published: (2024)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
by: Lewis, Marco, et al.
Published: (2024)

Verification of Autonomous Neural Car Control with KeYmaera X
by: Prebet, Enguerrand, et al.
Published: (2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs
by: Akshay, S., et al.
Published: (2025)

Sound Value Iteration for Simple Stochastic Games
by: Azeem, Muqsit, et al.
Published: (2024)

On Generalized Performance Evaluation and Generalized Controller Synthesis
by: Cao, Zining
Published: (2026)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
by: Hafez, Ahmad, et al.
Published: (2024)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
by: Tang, Valdemar, et al.
Published: (2024)

Efficient Discovery of Actual Causality using Abstraction-Refinement
by: Rafieioskouei, Arshia, et al.
Published: (2024)