7 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.CV2023★ 3 cited
Collaborative Multi-Agent Video Fast-Forwarding
Shuyue Lan, Zhilu Wang, Ermin Wei +2
Multi-agent applications have recently gained significant popularity. In many computer vision tasks, a network of agents, such as a team of robots with cameras, could work collabor…
eess.SY2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
Yixuan Wang, Weichao Zhou, Jiameng Fan +6
Neural networks (NNs) playing the role of controllers have demonstrated impressive empirical performances on challenging control problems. However, the potential adoption of NN con…
cs.LG2022★ 7 cited
A Tool for Neural Network Global Robustness Certification and Training
Zhilu Wang, Yixuan Wang, Feisi Fu +4
With the increment of interest in leveraging machine learning technology in safety-critical systems, the robustness of neural networks under external disturbance receives more and…