@conference {423,
	title = {On the Hardness of Almost-Sure Termination},
	booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}},
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-662-48057-1_24},
	url = {http://dx.doi.org/10.1007/978-3-662-48057-1_24},
	author = {Benjamin Lucien Kaminski and Joost-Pieter Katoen},
	editor = {Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella}
}