Keyphrases
- data sets
- model checking
- face verification
- formal analysis
- formal methods
- dynamic time warping
- image alignment
- signature verification
- formal verification
- person identification
- principal axes
- verification method
- asynchronous circuits
- word alignment
- cryptographic protocols
- test generation
- multi agent systems
- case study
- computer vision