@misc{https://doi.org/10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804.v1,
  doi = {10.4121/bf0fef24-4f0f-4de6-a58d-07b9ba601804.v1},
  url = {},
  author = {Kohlen, Bram and Schäffeler, Maximilian and Abdulaziz, Mohammad and Hartmanns, Arnd and Lammich, Peter},
  keywords = {IEEE 754, Floating-point, Correct-by-construction, LLVM, Interval Iteration, Interactive Theorem Proving, Software Verification, Probabilistic Model Checking, Markov Decision Process},
  title = {Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"},
  publisher = {4TU.ResearchData},
  year = {2025},
  copyright = {BSD-3-Clause},
}