@misc{https://doi.org/10.4121/3f2a4539-e69b-4d16-b665-530c1abddfbc.v2,
  doi = {10.4121/3f2a4539-e69b-4d16-b665-530c1abddfbc.v2},
  url = {},
  author = {Kohlen, Bram and Hartmanns, Arnd and Lammich, Peter},
  keywords = {Correct-by-construction, Probabilistic Model Checking, Interactive Theorem Proving, Software Verification, Maximal End Components, Strongly Connected Components},
  title = {Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {BSD-3-Clause},
}