@misc{indiciae6076d93d4149,
  title = {The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL},
  author = {Jan Křetínský and Alexej Rotar},
  year = {2018},
  url = {https://arxiv.org/abs/1806.11418},
  note = {Source identifier: 1806.11418}
}