@phdthesis{dissertation,
	author = {Weininger, Maximilian Ph.},
	title = {Solving Stochastic Games Reliably},
	year = {2022},
	school = {Technische Universität München},
	pages = {335},
	language = {en},
	abstract = {We provide solution algorithms for stochastic games. Our methods are *reliable* in the sense that they use expressive formalisms, give precision guarantees, and provide explainable results. Moreover, we analyse and improve their scalability. In particular, we provide guaranteed algorithms also when the formalisms include limited information or multiple objectives, and we present a mature tool that supports explaining any memoryless deterministic strategy.},
	keywords = {Probabilistic verification;Formal Methods;Stochastic Games},
	note = {},
	url = {https://mediatum.ub.tum.de/1661588},
}