Cover Image

Safe Reach Set Computation via Neural Barrier Certificates

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abate, Alessandro, Bogomolov, Sergiy, Edwards, Alec, Potomkin, Kostiantyn, Soudjani, Sadegh, Zuliani, Paolo
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

JuliaReach: a Toolbox for Set-Based Reachability
by: Bogomolov, Sergiy, et al.
Published: (2019)

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

Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
by: Hu, Siwei, et al.
Published: (2025)

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

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

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
by: Casablanca, Ernesto, et al.
Published: (2025)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
by: Schön, Oliver, et al.
Published: (2024)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

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

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
by: Monir, Negar, et al.
Published: (2026)

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

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

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

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

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
by: Schön, Oliver, et al.
Published: (2024)

Automated Verification of Silq Quantum Programs using SMT Solvers
by: Lewis, Marco, et al.
Published: (2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

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

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

Solvability of Approximate Reach-Avoid Games
by: Gleirscher, Mario
Published: (2025)

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

Kernel-Based Safe Exploration in Deep Reinforcement Learning
by: Majumdar, Rupak, et al.
Published: (2026)

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

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

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

Kernel-Based Learning of Safety Barriers
by: Schön, Oliver, et al.
Published: (2026)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
by: Nazeri, Mahdi, et al.
Published: (2025)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
by: Teuber, Samuel, et al.
Published: (2025)

Fixed Point Certificates for Reachability and Expected Rewards in MDPs
by: Chatterjee, Krishnendu, et al.
Published: (2025)

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

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

The Reachability Problem for Neural-Network Control Systems
by: Schilling, Christian, et al.
Published: (2024)

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

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach
by: Sharifi, Iman, et al.
Published: (2023)