Mohagheghi, Mohammadsadegh, and Khayyam Salehi. 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.