@misc{https://doi.org/10.4121/37ae9db3-6a3d-4191-88c8-b843c12223b7.v1,
  doi = {10.4121/37ae9db3-6a3d-4191-88c8-b843c12223b7.v1},
  url = {},
  author = {Kohlen, Bram},
  keywords = {Probabilistic model checking, Interactive theorem proving, Correct-by-construction, Markov decision process},
  title = {Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {BSD-3-Clause},
}