Infinite time horizon safety of Bayesian neural networks

Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network’s prediction. We consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with infinite time horizon systems. Com...

Full description

Saved in:
Bibliographic Details
Main Authors: LECHNER, Mathias, ZIKELIC, Dorde, CHATTERJEE, Krishnendu, HENZINGER, Thomas A.
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2021
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/9066
https://ink.library.smu.edu.sg/context/sis_research/article/10069/viewcontent/NeurIPS_2021_infinite_time_horizon_safety_of_bayesian_neural_networks_Paper.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
Be the first to leave a comment!
You must be logged in first