1 citations · 1 across the 14 of their papers we have counts for
4 papers · 1 filter
PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
Taoran Wu, Dominik Wagner, Jingduo Pan +3
This paper investigates the problem of safety certification for black-box discrete-time stochastic systems, where both the system dynamics and disturbance distributions are unknown…
Efficient Verification and Falsification of ReLU Neural Barrier Certificates
Dejin Ren, Yiling Xue, Taoran Wu +1
Barrier certificates play an important role in verifying the safety of continuous-time systems, including autonomous driving, robotic manipulators and other critical applications.…
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
Taoran Wu, Yiling Xue, Dejin Ren +3
This paper addresses the computation of controlled reach-avoid sets (CRASs) for discrete-time polynomial systems subject to control inputs. A CRAS is a set encompassing initial sta…
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
Taoran Wu, Yiling Xue, Jingduo Pan +3
Identifying controlled safety invariant sets (CSISs) is essential for safety-critical systems. This paper addresses the problem of computing CSISs for black-box discrete-time syste…