@misc{indiciaeb9d2ebaf87be,
  title = {UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)},
  author = {Roman Andriushchenko and Arnd Hartmanns and Joshua Jeppson and Sebastian Junges and Tobias Meggendorfer and David Parker and Tim Quatmann and Maximilian Weininger},
  year = {2026},
  url = {https://arxiv.org/abs/2606.17811},
  note = {Source identifier: 2606.17811}
}