Quantitative Monitoring of STL with Edit Distance.

Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic

Browse the full RV paper archive.