4 papers · 1 filter
Inner-approximate Reachability Computation via Zonotopic Boundary Analysis
Dejin Ren, Zhen Liang, Chenyu Wu +3
Inner-approximate reachability analysis involves calculating subsets of reachable sets, known as inner-approximations. This analysis is crucial in the fields of dynamic systems ana…
A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems
Taoran Wu, Yiqing Yu, Bican Xia +2
Ensuring safety through set invariance has proven to be a valuable method in various robotics and control applications. This paper introduces a comprehensive framework for the safe…
Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
Yonghan Li, Chenyu Wu, Taoran Wu +2
In this paper, we investigate the problem of verifying the finite-time safety of continuous-time perturbed deterministic systems represented by ordinary differential equations in t…
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen Liang, Taoran Wu, Ran Zhao +5
Recently, formal verification of deep neural networks (DNNs) has garnered considerable attention, and over-approximation based methods have become popular due to their effectivenes…