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
∙
10/18/2018
