MDP minimization tool from Antti Valmari
BSc project of Michael Banken on simulating counter machines