@InProceedings{KNPS20,
author={Kwiatkowska, Marta and Norman, Gethin and Parker, Dave and Santos, Gabriel},
title={{PRISM}-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time},
booktitle={Proc. 32nd International Conference on Computer Aided Verification (CAV'20)},
year={2020},
publisher={Springer},
series={LNCS},
doi={https://doi.org/10.1007/978-3-030-53291-8_25},
key={}
}