@misc{indiciaea7333d16437e,
  title = {Satisfiability Bounds for ω-regular Properties in Interval-valued Markov Chains},
  author = {Maxence Dutreix and Samuel Coogan},
  year = {2018},
  url = {https://arxiv.org/abs/1809.06352},
  note = {Source identifier: 1809.06352}
}