@misc{indiciaecf99b5bf2250,
  title = {Parameter Synthesis for Markov Models: Covering the Parameter Space},
  author = {Sebastian Junges and Erika Ábrahám and Christian Hensel and Nils Jansen and Joost-Pieter Katoen and Tim Quatmann and Matthias Volk},
  year = {2023},
  url = {https://arxiv.org/abs/1903.07993},
  note = {Source identifier: 1903.07993}
}