@misc{indiciaeefefb833361d,
  title = {Robustness Analysis for Value-Freezing Signal Temporal Logic},
  author = {L. Brim and T. Vejpustek and D. Šafránek and J. Fabriková},
  year = {2013},
  doi = {10.4204/eptcs.125.2},
  url = {https://arxiv.org/abs/1309.0867},
  note = {Source identifier: 1309.0867}
}