TY  - RPRT
TI  - A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
AU  - Bram Kohlen
AU  - Maximilian Schäffeler
AU  - Mohammad Abdulaziz
AU  - Arnd Hartmanns
AU  - Peter Lammich
PY  - 2025
DO  - 10.1007/978-3-031-98679-6_6
UR  - https://arxiv.org/abs/2501.10127
ID  - 2501.10127
ER  -