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

Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

13 Downloads (Pure)

Original language	English
Title of host publication	International Conference on Computer-Aided Verification
Publication status	Accepted/In press - 2 Apr 2025

Access to Document

@inbook{40645860e2ee47daa37b289ca7ec4847,

title = "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs",

author = "Bram Kohlen and Maximilian Sch{\"a}ffeler and Mohammad Abdulaziz and Arnd Hartmanns and Peter Lammich",

year = "2025",

month = apr,

day = "2",

language = "English",

booktitle = "International Conference on Computer-Aided Verification",

}