Edit distance for timed automata.
Krishnendu ChatterjeeRasmus Ibsen-JensenRupak MajumdarPublished in: HSCC (2014)
Keyphrases
- edit distance
- timed automata
- model checking
- theorem prover
- string matching
- similarity measure
- string edit distance
- edit operations
- graph matching
- theorem proving
- distance measure
- real time systems
- first order logic
- tree edit distance
- graph edit distance
- string similarity
- distance function
- approximate string matching
- tree structured data
- levenshtein distance
- dynamic programming
- approximate matching
- distance computation
- subgraph isomorphism
- dissimilarity measure
- longest common subsequence
- reinforcement learning
- image processing
- artificial intelligence