@InProceedings{BFKP25,
author={Franck van Breugel and Syyeda Zainab Fatmi and Stefan Kiefer and David Parker},
title={Robust Probabilistic Bisimilarity for Labelled Markov Chains},
booktitle={Proc. 37th International Conference on Computer Aided Verification (CAV'25)},
year={2025},

editors={},
pages={254-275},
organization={},
publisher={Springer},
series={LNCS},
volume={15932},
address={},
month={},
note={},
key={}
}