Akash Harapanahalli
2 papers · 2023–2026 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Interdisciplinary Bridge ยท Bronze
๐
Keyword Champion
(2)
Venues
Top co-authors
Research topics
Keywords
interval analysis
(2)
neural network verification
(1)
neural network controller
(1)
reachability analysis
(1)
mixed monotone theory
(1)
hyper-rectangular over-approximation
(1)
closed-loop control
(1)
neural network verifier
(1)
invariant subspace
(1)
nonlinear dynamical system
(1)
forward invariant polytope
(1)