@article{robustnessdrivenexplorationwith,
  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},
  eprint = {1912.01704},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1912.01704v1},
}