Efficient Formally Verified Maximal End Component Decomposition for MDPs.

Arnd Hartmanns, Bram Kohlen, Peter Lammich

Browse the full FM paper archive.