@misc{indiciaedea7bb602889,
  title = {Robustness-Driven Exploration with Probabilistic Metric Temporal Logic},
  author = {Xiaotian Liu and Pengyi Shi and Sarra Alqahtani and Victor Paúl Pauca and Miles Silman},
  year = {2019},
  url = {https://arxiv.org/abs/1912.01704},
  note = {Source identifier: 1912.01704}
}