research
∙
05/27/2023
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems
Providing safety guarantees for autonomous systems is difficult as these...
share
research
∙
02/06/2023
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Deep neural networks (DNNs) are increasingly used in safety-critical aut...
research
∙
06/01/2022
On the Perils of Cascading Robust Classifiers
Ensembling certifiably robust neural networks has been shown to be a pro...
research
∙
02/07/2022
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
We present DEEPDECS, a new method for the synthesis of correct-by-constr...
research
∙
07/23/2021
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair
Neural networks are increasingly being deployed in contexts where safety...
research
∙
02/15/2019