@InProceedings{KNPS20,
author={M. Kwiatkowska and G. Norman and D. Parker and G. Santos},
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},

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