Quantitative monitoring of STL with edit distance.
Stefan JaksicEzio BartocciRadu GrosuThang NguyenDejan NickovicPublished in: Formal Methods Syst. Des. (2018)
Keyphrases
- edit distance
- edit operations
- similarity measure
- approximate string matching
- string similarity
- string matching
- graph matching
- levenshtein distance
- distance measure
- graph edit distance
- string edit distance
- dynamic time warping
- dynamic programming
- tree structured data
- tree edit distance
- similarity join
- approximate matching
- dissimilarity measure
- distance function
- subgraph isomorphism
- convex hull
- finite alphabet
- reinforcement learning