Mohagheghi M, Salehi K. Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking. csci. 2025;26(2). doi:10.7494/csci.2025.26.2.6411