Probabilistic reach-avoid for Bayesian neural networks. - Wicker, Matthew; Laurenti, Luca; Patane, Andrea; Paoletti, Nicola; Abate, Alessandro; Kwiatkowska, Marta (Artificial Intelligence, 2024)