@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={} }