_id,doi,title 10667,10.48550/arXiv.2111.03165,Infinite time horizon safety of Bayesian neural networks