4 citations · 17 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
cs.LG2021★ 1 cited
Infinite Time Horizon Safety of Bayesian Neural Networks
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee +1
Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network's prediction. We consider the problem of v…