TY  - RPRT
TI  - Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - David Parker
AU  - Gabriel Santos
AU  - Rui Yan
PY  - 2022
UR  - https://arxiv.org/abs/2206.15148
ID  - 2206.15148
ER  -