research
∙
06/15/2023
OVLA: Neural Network Ownership Verification using Latent Watermarks
Ownership verification for neural networks is important for protecting t...
share
research
∙
06/02/2023
PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward
Imitation learning (IL) algorithms often rely on inverse reinforcement l...
research
∙
03/31/2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
Neural networks (NNs) playing the role of controllers have demonstrated ...
research
∙
03/11/2023
GeoCamera: Telling Stories in Geographic Visualizations with Camera Movements
In geographic data videos, camera movements are frequently used and comb...
research
∙
03/11/2023
NetworkNarratives: Data Tours for Visual Network Exploration and Analysis
This paper introduces semi-automatic data tours to aid the exploration o...
research
∙
03/03/2023
RIOT: Recursive Inertial Odometry Transformer for Localisation from Low-Cost IMU Measurements
Inertial localisation is an important technique as it enables ego-motion...
research
∙
01/25/2023
HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements
Emerging multi-robot systems rely on cooperation between humans and robo...
research
∙
01/17/2023
Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations
The Weighted-Mean Subsequence Reduced (W-MSR) algorithm, the state-of-th...
research
∙
11/02/2022
Dormant Neural Trojans
We present a novel methodology for neural network backdoor attacks. Unli...
research
∙
08/15/2022
A Tool for Neural Network Global Robustness Certification and Training
With the increment of interest in leveraging machine learning technology...
research
∙
04/22/2022
Gravity aided navigation using Viterbi map matching algorithm
In GNSS-denied environments, aiding a vehicle's inertial navigation syst...
research
∙
04/20/2022
A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines
A misspecified reward can degrade sample efficiency and induce undesired...
research
∙
12/14/2021
Programmatic Reward Design by Example
Reward design is a fundamental problem in reinforcement learning (RL). A...
research
∙
10/14/2021
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees
We present a novel methodology for repairing neural networks that use Re...
research
∙
06/27/2021
AniVis: Generating Animated Transitions Between Statistical Charts with a Tree Model
Animated transitions help viewers understand changes between related vis...
research
∙
06/25/2021
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
We propose POLAR, a polynomial arithmetic framework that leverages polyn...
research
∙
03/29/2021
Online Defense of Trojaned Models using Misattributions
This paper proposes a new approach to detecting neural Trojans on Deep N...
research
∙
02/26/2021
Robust Deep Reinforcement Learning via Multi-View Information Bottleneck
Deep reinforcement learning (DRL) agents are often sensitive to visual c...
research
∙
09/08/2020
Improving Engagement of Animated Visualization with Visual Foreshadowing
Animated visualization is becoming increasingly popular as a compelling ...
research
∙
08/17/2020
Runtime-Safety-Guided Policy Repair
We study the problem of policy repair for learning-based control policie...
research
∙
08/13/2020
Adversarial Training and Provable Robustness: A Tale of Two Objectives
We propose a principled framework that combines adversarial training and...
research
∙
06/25/2019
ReachNN: Reachability Analysis of Neural-Network Controlled Systems
Applying neural networks as controllers in dynamical systems has shown g...
research
∙
03/06/2019
Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation
An important facet of reinforcement learning (RL) has to do with how the...
research
∙
03/01/2019
TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents
Recent work has identified that classification models implemented as neu...
research
∙
10/22/2017
