research
∙
05/27/2023
Collaborative Multi-Agent Video Fast-Forwarding
Multi-agent applications have recently gained significant popularity. In...
share
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
∙
09/29/2022
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments
It is quite challenging to ensure the safety of reinforcement learning (...
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
∙
03/26/2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding
The robustness of deep neural networks has received significant interest...
research
∙
08/10/2020