Developing an analytical model for planning systems verification, validation and testing processes.
Jacob ShabiYoram ReichPublished in: Adv. Eng. Informatics (2012)
Keyphrases
- analytical model
- planning systems
- planning process
- ai planning
- analytical models
- planning problems
- forward chaining
- test generation
- formal verification
- automated planning
- simulation model
- planning domains
- control knowledge
- model checking
- domain independent
- machine learning
- planning tasks
- process model
- special case
- genetic algorithm