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