@misc{indiciaeea66790bf84d,
  title = {Metrics for Signal Temporal Logic Formulae},
  author = {Curtis Madsen and Prashant Vaidyanathan and Sadra Sadraddini and Cristian-Ioan Vasile and Nicholas A. DeLateur and Ron Weiss and Douglas Densmore and Calin Belta},
  year = {2018},
  url = {https://arxiv.org/abs/1808.03315},
  note = {Source identifier: 1808.03315}
}