@conference {251,
	title = {Tight Game Abstractions of Probabilistic Automata},
	booktitle = {Concurrency Theory (CONCUR)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Falak Sher and Joost-Pieter Katoen}
}