@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={Formal Methods – The Next 30 Years (FM'19)},
year={2019},

editors={M. ter Beek and A. McIver and J. Oliveira},
pages={298--315},
organization={},
publisher={Springer},
series={LNCS},
volume={11800},
address={},
month={},
note={},
key={}
}