@InProceedings{KNPS20b,
author={Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos},
title={Multi-player Equilibria Verification for Concurrent Stochastic Games},
booktitle={Proc. 17th International Conference on Quantitative Evaluation of SysTems (QEST'20)},
year={2020},

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