Datasets

• Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Co-authors

Co-authors of Maximilian Schäffeler's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Arnd Hartmanns
• Bram Kohlen
• Mohammad Abdulaziz
• Peter Lammich