research
∙
06/09/2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
Deep neural networks often lack the safety and robustness guarantees nee...
share
research
∙
05/14/2021
Verification of Image-based Neural Network Controllers Using Generative Models
Neural networks are often used to process information from image-based s...
research
∙
03/01/2021
Generating Probabilistic Safety Guarantees for Neural Network Controllers
Neural networks serve as effective controllers in a variety of complex s...
research
∙
10/07/2020