Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs
From MaRDI portal
Publication:6487312
DOI10.1007/978-3-031-13185-1_4zbMath1514.68027MaRDI QIDQ6487312
Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić, Krishnendu Chatterjee
Publication date: 7 December 2022
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs