research
∙
07/31/2023
Formally Explaining Neural Networks within Reactive Systems
Deep neural networks (DNNs) are increasingly being used as controllers i...
share
research
∙
12/06/2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
In this short paper, we present our ongoing work on the veriFIRE project...
research
∙
10/18/2021
