150 citations · 341 across the 17 of their papers we have counts for
1 paper · 1 filter
Qinsi Wang, Paolo Zuliani, Soonho Kong +2
In this paper we describe a new tool, SReach, which solves probabilistic bounded reachability problems for two classes of stochastic hybrid systems. The first one is (nonlinear) hy…