@InProceedings{KNP25,
author={Marta Kwiatkowska and Gethin Norman and David Parker},
title={Probabilistic Model Checking: Applications and Trends},
booktitle={Principles of Formal Quantitative Analysis},
year={2025},

editors={},
pages={158-173},
organization={},
publisher={Springer},
series={LNCS},
volume={15760},
address={},
month={},
note={},
key={}
}