@InProceedings{EPF24,
author={Ingy Elsayed-Aly and David Parker and Lu Feng},
title={Distributional Probabilistic Model Checking},
booktitle={Proc. 16th NASA Formal Methods Symposium (NFM'24)},
year={2024},

editors={},
pages={57-75},
organization={},
publisher={Springer},
series={LNCS},
volume={14627},
address={},
month={},
note={},
key={}
}