research
∙
09/14/2020
Into the unknown: Active monitoring of neural networks
Machine-learning techniques achieve excellent performance in modern appl...
share
research
∙
07/24/2020
MurTree: Optimal Classification Trees via Dynamic Programming and Search
Decision tree learning is a widely used approach in machine learning, fa...
research
∙
05/25/2020
Formal Methods with a Touch of Magic
Machine learning and formal methods have complimentary benefits and draw...
research
∙
02/20/2020
V-Formation via Model Predictive Control
We present recent results that demonstrate the power of viewing the prob...
research
∙
11/20/2019
Outside the Box: Abstraction-Based Monitoring of Neural Networks
Neural networks have demonstrated unmatched performance in a range of cl...
research
∙
05/21/2018
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems
We present DAMPC, a distributed, adaptive-horizon and adaptive-neighborh...
research
∙
12/21/2016