ML Anthology

Wajid, Rameez

1 publications

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