32 citations · 70 across the 10 of their papers we have counts for
1 paper · 1 filter
Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan
We study statistical model checking of continuous-time stochastic hybrid systems. The challenge in applying statistical model checking to these systems is that one cannot simulate…