Keyphrases
- model checking
- quantitative and qualitative
- asynchronous circuits
- mobile robot
- qualitative and quantitative
- false acceptance rate
- quantitative measures
- formal analysis
- bayesian networks
- image processing
- database
- learning environment
- face verification
- formal verification
- person identification
- decision making
- artificial intelligence