Verification of Timed Automata Based on Similarity.
Piotr DembinskiWojciech PenczekAgata PólrolaPublished in: Fundam. Informaticae (2002)
Keyphrases
- similarity measure
- petri net
- timed automata
- colored petri nets
- distance function
- similarity measurement
- euclidean distance
- markov chain
- user defined
- dissimilarity measure
- face verification
- semantic similarity
- verification method
- structural similarity
- similarity metric
- data sets
- similarity metrics
- distance measure
- information systems