Multi-player equilibria verification for concurrent stochastic games (Proceedings of the 17th International Conference on Quantitative Evaluation of Systems, 2020)

(untitled) - Kwiatkowska, M; Norman, G; Parker, D; Santos, G