Talk: Martingale-based Verification of Probabilistic Programs (ONLINE)
2024-05-02 12:00 - 13:00 (America/Chicago) | Online
Amir Goharshady: Assistant Professor, Computer Science and Mathematics, Hong Kong University of Science and Technology.
