Book Chapter in MF's Festschrift

Our paper appears in the Festschrift dedicated to Martin Fränzle.

Our paper titled “Fixed-Point Reasoning for Stochastic Systems” by Zhiyang Li, Mingqi Yang, Shenghua Feng (ISCAS), and Mingshuai Chen has been published as a book chapter in MF’s Festschrift – Design and Verification of Cyber-Physical Systems: From Theory to Applications. This paper presents a fixed-point reasoning landscape for stochastic systems, where we focus on formal techniques that either (i) establish sound over-/under-approximations of quantitative fixed points; or (ii) infer the exact fixed points for a restricted class of systems. We dedicate this article to our dear colleague Martin Fränzle on the occasion of his 60th birthday. Martin has been, amongst many of his other roles, an accomplished scientist devoted to the development of fundamental theories and tools in a variety of fields including (probabilistic) hybrid systems and (stochastic) constraint solving.