---
bibliography:
- 'bib\_PL.bib'
title: 'Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs[^1]'
---

[^1]: The research was partly supported by Austrian Science Fund (FWF) Grant No P23499- N23, FWF NFN Grant No S11407-N23 (RiSE/SHiNE), and ERC Start grant (279307: Graph Games). The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement No \[291734\].
