@InProceedings{KNP+22,
author={Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos and Rui Yan},
title={Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges},
booktitle={Proc. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS'22)},
year={2022},

editors={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}