SMT-Based Bisimulation Minimisation of Markov Models
scientific article; zbMATH DE number 6363626