@InProceedings{CKWW20,
author={Krishnendu Chatterjee and Joost-Pieter Katoen and Maximilian Weininger and Tobias Winkler},
title={Stochastic Games with Lexicographic Reachability-Safety Objectives},
booktitle={Proc. 32nd International Conference on Computer Aided Verification (CAV'20)},
year={2020},

editors={},
pages={398-420},
organization={},
publisher={Springer},
series={LNCS},
volume={12225},
address={},
month={},
note={},
key={}
}