@misc{indiciae5620fb0702f9,
  title = {A Metric for Linear Temporal Logic},
  author = {Íñigo Íncer Romeo and Marten Lohstroh and Antonio Iannopollo and Edward A. Lee and Alberto Sangiovanni-Vincentelli},
  year = {2018},
  url = {https://arxiv.org/abs/1812.03923},
  note = {Source identifier: 1812.03923}
}