3 citations · 6 across the 7 of their papers we have counts for
1 paper · 1 filter
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee +1
We consider the problem of formally verifying almost-sure (a.s.) asymptotic stability in discrete-time nonlinear stochastic control systems. While verifying stability in determinis…