Scott A. Smolka
2 papers
· 2021–2022
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(14)
Conferences
AAAI (2)
Top co-authors
Keywords
formal verification
(2)
reachability analysis
(2)
neural ordinary differential equation
(1)
neural network verification
(1)
model verification
(1)
lagrangian method
(1)
robustness analysis
(1)
probabilistic guarantee
(1)
probabilistic verification
(1)
neural network
(1)
stochastic guarantee
(1)
adjoint sensitivity
(1)
statistical verification
(1)
stochastic optimization
(1)
continuous-depth model
(1)
global optimization
(1)