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...
Saved in:
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 |
Similar Items
-
Stability verification in stochastic control systems via neural network supermartingales
by: LECHNER, Mathias, et al.
Published: (2024) -
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
by: LECHNER, Mathias, et al.
Published: (2023) -
Scalable verification of quantized neural networks
by: HENZINGER, Thomas A., et al.
Published: (2021) -
A learner-verifier framework for neural network controllers and certificates of stochastic systems
by: CHATTERJEE, Krishnendu, et al.
Published: (2023) -
Social balance on networks: Local minima and best-edge dynamics
by: CHATTERJEE, Krishnendu, et al.
Published: (2024)