TY  - RPRT
TI  - UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
AU  - Roman Andriushchenko
AU  - Arnd Hartmanns
AU  - Joshua Jeppson
AU  - Sebastian Junges
AU  - Tobias Meggendorfer
AU  - David Parker
AU  - Tim Quatmann
AU  - Maximilian Weininger
PY  - 2026
UR  - https://arxiv.org/abs/2606.17811
ID  - 2606.17811
ER  -