@misc{indiciaed64bb0988a60,
  title = {Witnessing subsystems for probabilistic systems with low tree width},
  author = {Simon Jantsch and Jakob Piribauer and Christel Baier},
  year = {2021},
  url = {https://arxiv.org/abs/2108.08070},
  note = {Source identifier: 2108.08070}
}