Yuh-Shyang Wang
1 papers · 2020–2020 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
🌉
Interdisciplinary Bridge
Conferences
ICML (1)
Top co-authors
Keywords
adversarial perturbation
(1)
neural network verification
(1)
robust control
(1)
control policy
(1)
neural network certification
(1)
closed-loop system
(1)
control constraint
(1)
neural network policy
(1)
positively invariant set
(1)
policy verification
(1)
control verification
(1)
closed loop system
(1)
robust control theory
(1)