TY  - RPRT
TI  - Expectation vs. Reality: Towards Verification of Psychological Games
AU  - Marta Kwiatkowska
AU  - Gethin Norman
AU  - David Parker
AU  - Gabriel Santos
PY  - 2024
UR  - https://arxiv.org/abs/2411.05599
ID  - 2411.05599
ER  -