research
∙
07/31/2023
Formally Explaining Neural Networks within Reactive Systems
Deep neural networks (DNNs) are increasingly being used as controllers i...
share
research
∙
02/11/2023
Verifying Generalization in Deep Learning
Deep neural networks (DNNs) are the workhorses of deep learning, which c...
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
∙
06/20/2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Deep reinforcement learning (DRL) has achieved groundbreaking successes ...
research
∙
05/26/2022
Verifying Learning-Based Robotic Navigation Systems
Deep reinforcement learning (DRL) has become a dominant deep-learning pa...
research
∙
02/09/2022
Scenario-Assisted Deep Reinforcement Learning
Deep reinforcement learning has proven remarkably useful in training age...
research
∙
02/08/2022
Verification-Aided Deep Ensemble Selection
Deep neural networks (DNNs) have become the technology of choice for rea...
research
∙
05/25/2021
Towards Scalable Verification of RL-Driven Systems
Deep neural networks (DNNs) have gained significant popularity in recent...
research
∙
03/12/2021
Use and Perceptions of Multi-Monitor Workstations: A Natural Experiment
Using multiple monitors is commonly thought to improve productivity, but...
research
∙
11/05/2020