IST Austria, Klosterneuburg, Austria
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas Henzinger
Bayesian neural networks;BNN;safety verification
Infinite Time Horizon Safety of Bayesian Neural Networks