@InProceedings{Par23,
author={David Parker},
title={Multi-Agent Verification and Control with Probabilistic Model Checking},
booktitle={Proc. 20th International Conference on Quantitative Evaluation of SysTems (QEST'23)},
year={2023},

editors={},
pages={1-9},
organization={},
publisher={Springer},
series={LNCS},
volume={14287},
address={},
month={},
note={},
key={}
}