@misc{indiciaed92f76d688dd,
  title = {Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions},
  author = {Lening Li and Jie Fu},
  year = {2021},
  url = {https://arxiv.org/abs/2105.04593},
  note = {Source identifier: 2105.04593}
}