Zamani, Majid

5 publications

AAAI 2024 Neural Closure Certificates Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

AAAI 2023 Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo

L4DC 2022 Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani

L4DC 2022 Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach Ali Salamati, Majid Zamani

L4DC 2022 Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems Using Gaussian Process Learning Rameez Wajid, Asad Ullah Awan, Majid Zamani