research
∙
09/22/2022
Learning Certifiably Robust Controllers Using Fragile Perception
Advances in computer vision and machine learning enable robots to percei...
share
research
∙
04/12/2022
DistPro: Searching A Fast Knowledge Distillation Process via Meta Optimization
Recent Knowledge distillation (KD) studies show that different manually ...
research
∙
03/04/2022
Cooperative Task and Motion Planning for Multi-Arm Assembly Systems
Multi-robot assembly systems are becoming increasingly appealing in manu...
research
∙
01/13/2022
Multi-agent Motion Planning from Signal Temporal Logic Specifications
We tackle the challenging problem of multi-agent cooperative motion plan...
research
∙
01/06/2022
SABLAS: Learning Safe Control for Black-box Dynamical Systems
Control certificates based on barrier functions have been a powerful too...
research
∙
09/14/2021
Learning Density Distribution of Reachable States for Autonomous Systems
State density distribution, in contrast to worst-case reachability, can ...
research
∙
05/13/2021
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric
In this paper, we consider the problem of using a robot to explore an en...
research
∙
11/25/2020
Learning Certified Control using Contraction Metric
In this paper, we solve the problem of finding a certified control polic...
research
∙
08/18/2020
Knowledge Transfer via Dense Cross-Layer Mutual-Distillation
Knowledge Distillation (KD) based methods adopt the one-way Knowledge Tr...
research
∙
11/04/2019
Optimistic Optimization for Statistical Model Checking with Regret Bounds
We explore application of multi-armed bandit algorithms to statistical m...
research
∙
08/14/2019
Learning Two-View Correspondences and Geometry Using Order-Aware Network
Establishing correspondences between two images requires both local and ...
research
∙
06/03/2019
Deeply-supervised Knowledge Synergy
Convolutional Neural Networks (CNNs) have become deeper and more complic...
research
∙
04/16/2017