SMT-Based Bisimulation Minimisation of Markov Models.

Christian Dehnert, Joost-Pieter Katoen, David Parker

Browse the full VMCAI paper archive.