[BFKP25]
Franck van Breugel, Syyeda Zainab Fatmi, Stefan Kiefer and David Parker.
Robust Probabilistic Bisimilarity for Labelled Markov Chains.
In Proc. 37th International Conference on Computer Aided Verification (CAV'25), Springer. To appear.
July 2025.
|
