Search Results for author:
Found 2 papers, 1 papers with code
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic Programming
In this paper, we introduce BNN-DP, an efficient algorithmic framework for analysis of adversarial robustness of Bayesian Neural Networks (BNNs).
Formal Control Synthesis for Stochastic Neural Network Dynamic Models
Neural networks (NNs) are emerging as powerful tools to represent the dynamics of control systems with complicated physics or black-box components.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
