1 citations · 5 across the 9 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.…