TY  - RPRT
TI  - Numerical Errors in Quantitative System Analysis With Decision Diagrams
AU  - Sebastiaan Brand
AU  - Arend-Jan Quist
AU  - Richard M. K. van Dijk
AU  - Alfons Laarman
PY  - 2025
UR  - https://arxiv.org/abs/2508.02673
ID  - 2508.02673
ER  -