TY  - RPRT
TI  - Robustness Analysis for Value-Freezing Signal Temporal Logic
AU  - L. Brim
AU  - T. Vejpustek
AU  - D. Šafránek
AU  - J. Fabriková
PY  - 2013
DO  - 10.4204/eptcs.125.2
UR  - https://arxiv.org/abs/1309.0867
ID  - 1309.0867
ER  -