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