Majid Zamani
5 papers · 2022–2024 · 2 venues · 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 ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(10)
π
Keyword Champion
(2)
Top co-authors
Research topics
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
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games
AAAI 2023
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates
L4DC 2022
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach
L4DC 2022
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning
L4DC 2022