Datasets

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

Co-authors

Co-authors of Mohammad Abdulaziz's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Arnd Hartmanns
• Bram Kohlen
• Maximilian Schäffeler
• Peter Lammich