Samuel Coogan
2 papers
· 2022–2023
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(7)
Conferences
L4DC (2)
Top co-authors
Keywords
certified robustness
(1)
adversarial robustness
(1)
contraction theory
(1)
nonlinear dynamical system
(1)
implicit neural network
(1)
neural network verification
(1)
robustness verification
(1)
interval analysis
(1)
reachability analysis
(1)
mixed monotone theory
(1)
hyper-rectangular over-approximation
(1)
mixed monotone system
(1)