Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
Authors: Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer and Đorđe Žikelić
Paper Information
| Title: | Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs |
| Authors: | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer and Đorđe Žikelić |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Probabilistic programs, Termination, Martingales, Stochastic invariants, Completeness guarantees |
| Pages: | 22 |
| Talk: | Aug 07 09:20 (Session 85A: Formal Methods for Probabilistic Programs) |
| Paper: |  |