Majid Zamani
5 papers
· 2022–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π
Cross-Pollinator
(11)
Conferences
L4DC (3)
AAAI (2)
Top co-authors
Keywords
formal verification
(3)
safety controller
(2)
dynamical system
(1)
deep neural network
(1)
stochastic system
(1)
stochastic game
(1)
safety verification
(1)
polynomial system
(1)
autonomous system
(1)
nonlinear system
(1)
control barrier function
(1)
control barrier certificate
(1)
formal synthesis
(1)
data-driven control
(1)
neural network
(1)
barrier certificate
(1)
scenario convex program
(1)
controller verification
(1)
safe ai
(1)
neural closure certificate
(1)
Papers
Neural Closure Certificates
AAAI 2024