► Server maintenance is scheduled on 14.10.24 from 07:00 to 09:00
MDP minimization tool from Antti Valmari
BSc project of Michael Banken on simulating counter machines