most citedStability Verification in Stochastic Control Systems via Neural Network Supermartingales

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LG2021★ 3 cited

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales

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…