Exploring alternatives for transition verification.
Lihua DuanJessica ChenPublished in: J. Syst. Softw. (2009)
Keyphrases
- decision makers
- concurrent systems
- model checking
- face recognition
- multiple criteria
- alternative approaches
- verification method
- person identification
- formal verification
- machine learning
- real world
- face verification
- formal analysis
- data sets
- social networks
- transition model
- search algorithm
- video sequences
- similarity measure
- case study
- decision making