A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs.

Bram Kohlen, Maximilian Schffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich

Browse the full CAV paper archive.