Mohagheghi M, Salehi K. Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking. csci [Internet]. 2025 Jul. 1 [cited 2025 Dec. 5];26(2). Available from: https://journals.agh.edu.pl/csci/article/view/6411