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
28
Link opens in a new tab
Citations
(Scopus)