Probabilistic reach-avoid for Bayesian neural networks.
Saved in:
| Title: | Probabilistic reach-avoid for Bayesian neural networks. |
|---|---|
| Authors: | Wicker, Matthew1, matthew.wicker@cs.ox.ac.ukmattrwicker@gmail.com, Laurenti, Luca2, Patane, Andrea1, Paoletti, Nicola3, Abate, Alessandro1, Kwiatkowska, Marta1 |
| Source: | Artificial Intelligence; Sep2024, Vol. 334, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00043702 |
|---|---|
| DOI: | 10.1016/j.artint.2024.104132 |
