Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
- Krishnendu Chatterjee
- , Amir Kafshdar Goharshady*
- , Tobias Meggendorfer
- , Đorđe Žikelić
*Corresponding author for this work
Research output: Chapter in Book/Conference Proceeding/Report › Conference Paper published in a book › peer-review
34
Link opens in a new tab
Citations
(Scopus)