@misc{indiciae11dfe4db46b9,
  title = {An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties},
  author = {Yong Li and Wanwei Liu and Andrea Turrini and Ernst Moritz Hahn and Lijun Zhang},
  year = {2016},
  url = {https://arxiv.org/abs/1605.04400},
  note = {Source identifier: 1605.04400}
}