TY  - RPRT
TI  - Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - David Parker
AU  - Gabriel Santos
PY  - 2019
UR  - https://arxiv.org/abs/1811.07145
ID  - 1811.07145
ER  -