@misc{indiciaef2fcb1a6c207,
  title = {Compositional Reasoning for Parametric Probabilistic Automata},
  author = {Hannah Mertens and Tim Quatmann and Joost-Pieter Katoen},
  year = {2025},
  url = {https://arxiv.org/abs/2506.08525},
  note = {Source identifier: 2506.08525}
}