@InProceedings{KNPS24,
author={Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos},
title={Expectation vs. Reality: Towards Verification of Psychological Games},
booktitle={Principles of Verification: Cycling the Probabilistic Landscape},
year={2024},

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