Enhancing the Inverse Method with State Merging.
Étienne AndréLaurent FribourgRomain SoulatPublished in: NASA Formal Methods (2012)
Keyphrases
- cost function
- high precision
- experimental evaluation
- high accuracy
- synthetic data
- error rate
- detection method
- computational cost
- evaluation method
- support vector machine svm
- computationally efficient
- model selection
- classification accuracy
- significant improvement
- computational complexity
- state space
- probabilistic model
- prior knowledge
- mathematical model
- reinforcement learning
- fully automatic
- data sets