A new compositional method for condensed state-space verification.
Eric Y. T. JuanJeffrey J. P. TsaiTadao MurataPublished in: HASE (1996)
Keyphrases
- high accuracy
- state space
- preprocessing
- significant improvement
- synthetic data
- experimental evaluation
- optimization algorithm
- optimization method
- neural network
- high precision
- error rate
- cost function
- dynamic programming
- support vector machine
- search space
- mutual information
- input data
- theoretical analysis
- support vector machine svm
- artificial neural networks
- detection method
- computational complexity
- reinforcement learning
- similarity measure
- face recognition