Automated Termination Analysis of Polynomial Probabilistic Programs
Book chapter (March 2021)
The most recent citing publications are shown below. View all 32 publications that cite this research output on Dimensions.
Book chapter (March 2021)
Preprint in arXiv (October 2020)
Article in Science of Computer Programming (November 2017)