Markov chains

A Unified Framework for Quantitative Analysis of Probabilistic Programs

Verifying probabilistic programs requires reasoning about various probabilistic behaviors, e.g., random sampling, nondeterminism, and …

Shenghua Feng, Tengshun Yang, Mingshuai Chen, Naijun Zhan