ML Anthology

Salamati, Ali

1 publications

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