"Robustness Analysis for Value-Freezing Signal Temporal Logic."

Lubos Brim et al. (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics