TY  - RPRT
TI  - Minimising the Probabilistic Bisimilarity Distance
AU  - Stefan Kiefer
AU  - Qiyi Tang
PY  - 2024
UR  - https://arxiv.org/abs/2406.19830
ID  - 2406.19830
ER  -