Cover Image

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cao, Zhipeng, Wang, Peixin, Ong, Luke, Žikelić, Đorđe, Wagner, Dominik, Xue, Bai
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, et al.
Published: (2026)

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
by: Wu, Taoran, et al.
Published: (2025)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
by: Xue, Bai, et al.
Published: (2026)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
by: Wu, Taoran, et al.
Published: (2026)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)

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

Verification and Synthesis of Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

Probabilistic Control Barrier Functions: Safety in Probability for Discrete-Time Stochastic Systems
by: Mestres, Pol, et al.
Published: (2025)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
by: Schmid, Niklas, et al.
Published: (2026)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
by: Akella, Prithvi, et al.
Published: (2023)

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters
by: Lishkova, Yana, et al.
Published: (2026)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
by: Chen, Yu, et al.
Published: (2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications
by: Mukherjee, Amartya, et al.
Published: (2023)

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
by: Feng, Shenghua, et al.
Published: (2025)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
by: Kumar, Athindran Ramesh, et al.
Published: (2023)

Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
by: Wu, Taoran, et al.
Published: (2025)

Predictive Monitoring of Black-Box Dynamical Systems
by: Henzinger, Thomas A., et al.
Published: (2024)

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

Bounding Stochastic Safety: Leveraging Freedman's Inequality with Discrete-Time Control Barrier Functions
by: Cosner, Ryan K., et al.
Published: (2024)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

Predictive Control Barrier Functions for Discrete-Time Linear Systems with Unmodeled Delays
by: Salazar, Juan Augusto Paredes, et al.
Published: (2025)

Risk-Aware Control of Discrete-Time Stochastic Systems: Integrating Kalman Filter and Worst-case CVaR in Control Barrier Functions
by: Kishida, Masako
Published: (2023)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
by: Badings, Thom, et al.
Published: (2024)

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
by: Zhou, Jingyuan, et al.
Published: (2026)

Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
by: Shakhesi, Erfan, et al.
Published: (2024)

A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
by: Wu, Taoran, et al.
Published: (2024)

Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing
by: Wagner, Dominik, et al.
Published: (2024)

Funnel-based Control for Reach-Avoid-Stay Specifications
by: Das, Ratnangshu, et al.
Published: (2023)

Verification and Synthesis Methods for High-Order Control Barrier Functions
by: Pond, Ellie, et al.
Published: (2025)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
by: Li, Yonghan, et al.
Published: (2024)

Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning
by: Pan, Jingduo, et al.
Published: (2026)