@misc{indiciaed705caad19b5,
  title = {Are Parametric Markov Chains Monotonic?},
  author = {Jip Spel and Sebastian Junges and Joost-Pieter Katoen},
  year = {2019},
  url = {https://arxiv.org/abs/1907.08491},
  note = {Source identifier: 1907.08491}
}