research
∙
03/01/2023
A Deep Learning Perspective on Network Routing
Routing is, arguably, the most fundamental task in computer networking, ...
share
research
∙
02/11/2023
Verifying Generalization in Deep Learning
Deep neural networks (DNNs) are the workhorses of deep learning, which c...
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
∙
10/07/2020
Online Safety Assurance for Deep Reinforcement Learning
Recently, deep learning has been successfully applied to a variety of ne...
research
∙
12/13/2018
Pied Piper: Rethinking Internet Data Delivery
We contend that, analogously to the transition from resource-limited on-...
research
∙
10/08/2018
Internet Congestion Control via Deep Reinforcement Learning
We present and investigate a novel and timely application domain for dee...
research
∙
12/06/2017