17 citations · 81 across the 44 of their papers we have counts for
1 paper · 1 filter
Shenghua Feng, Mingshuai Chen, Bai Xue +2
In this paper, we propose a method for bounding the probability that a stochastic differential equation (SDE) system violates a safety specification over the infinite time horizon.…