TY  - RPRT
TI  - Splitter Orderings for Probabilistic Bisimulation
AU  - Mohammadsadegh Mohagheghi
AU  - Khayyam Salehi
PY  - 2023
UR  - https://arxiv.org/abs/2307.08614
ID  - 2307.08614
ER  -