@InProceedings{KNPS22b,
author={Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos},
title={Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games},
booktitle={Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},
year={2022},

editors={},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={13660},
address={},
month={},
note={},
key={}
}