Majid Zamani
5 papers · 2022–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games
AAAI 2023
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
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates
L4DC 2022