Stanley Bak
1 papers
· 2025–2025
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (1)
Top co-authors
Keywords
image generation
(1)
formal verification
(1)
surrogate model
(1)
neural network verification
(1)
conditional generative adversarial network
(1)
reachable set
(1)
neural network control
(1)
neural network control system
(1)
reachable set analysis
(1)
autonomous vehicle safety
(1)
control system verification
(1)