2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Yiming Meng, Jun Liu
In this paper, we focus on discrete-time stochastic systems modelled by nonlinear stochastic difference equations and propose robust abstractions for verifying probabilistic linear…