Probabilistic reach-avoid for Bayesian neural networks

DOI10.1016/j.artint.2024.104132zbMath1547.68692MaRDI QIDQ6592977

Luca Laurenti, Nicola Paoletti, Matthew Wicker, Andrea Patanè, Alessandro Abate, Marta Kwiatkowska

Publication date: 26 August 2024

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

safetyformal verificationreinforcement learningBayesian neural networkscertified control synthesisreach-while-avoid

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Learning and adaptive systems in artificial intelligence (68T05) Stochastic systems in control theory (general) (93E03)

This page was built for publication: Probabilistic reach-avoid for Bayesian neural networks