Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger. Infinite Time Horizon Safety of Bayesian Neural Networks. In Marc'Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, Jennifer Wortman Vaughan, editors, Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual. pages 10171-10185, 2021. [doi]
Abstract is missing.