@misc{indiciaecb5961619be1,
  title = {Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes},
  author = {Elizabeth Polgreen and Viraj Wijesuriya and Sofie Haesaert and Alessandro Abate},
  year = {2017},
  url = {https://arxiv.org/abs/1707.01322},
  note = {Source identifier: 1707.01322}
}