27 citations · 94 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
eess.SY2021★ 5 cited
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Chao Huang, Jiameng Fan, Zhilu Wang +6
We present POLAR, a polynomial arithmetic-based framework for efficient bounded-time reachability analysis of neural-network controlled systems (NNCSs). Existing approaches that le…
cs.AI2021★ 3 cited
DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck
Jiameng Fan, Wenchao Li
Deep reinforcement learning (DRL) agents are often sensitive to visual changes that were unseen in their training environments. To address this problem, we leverage the sequential…