Verification and validation of PDDL descriptions using Event-B formal method.
Farah FouratiMohamed Tahar BhiriRiadh RobbanaPublished in: ICMCS (2016)
Keyphrases
- synthetic data
- detection method
- experimental evaluation
- preprocessing
- objective function
- high precision
- prior knowledge
- clustering method
- dynamic programming
- verification method
- computational cost
- cost function
- significant improvement
- pairwise
- computational complexity
- high level
- support vector machine
- high accuracy
- feature extraction