Yuh-Shyang Wang
1 papers
· 2020–2020
· 1 conference
· across top CS/AI conferences
Achievements
🧭
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)