Book Chapter in JPK's Festschrift

Our paper appears in the Festschrift dedicated to Joost-Pieter Katoen.

Our paper titled “A Unified Framework for Quantitative Analysis of Probabilistic Programs” by Shenghua Feng (Zhongguancun Lab), Tengshun Yang (ISCAS), Mingshuai Chen, and Naijun Zhan (PKU) has been published as a book chapter in JPK’s Festschrift – Principles of Verification: Cycling the Probabilistic Landscape. This paper presents a unified framework for the quantitative analysis of probabilistic programs, which incorporates and extends existing results on the analysis of termination, temporal properties, and expected cost. We dedicate this article to our dear colleague Joost-Pieter Katoen on the occasion of his 60th birthday, who has been tirelessly pushing the limits of, amongst others, (automated) quantitative analysis of probabilistic programs.