@InProceedings{KNPS19, author={M. Kwiatkowska and G. Norman and D. Parker and G. Santos}, title={Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games}, booktitle={Proc. 23rd International Symposium on Formal Methods (FM'19)}, year={2019}, editors={}, pages={298-315}, organization={}, publisher={Springer}, series={LNCS}, volume={11800}, address={}, month={}, note={}, key={} }