Mohagheghi, M. and Salehi, K. 2025. Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking. Computer Science. 26, 2 (Jul. 2025). DOI:https://doi.org/10.7494/csci.2025.26.2.6411.