The saturation algorithm for symbolic state-space exploration.
Gianfranco CiardoRobert M. MarmorsteinRadu SiminiceanuPublished in: Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
- learning algorithm
- recognition algorithm
- dynamic programming
- computational complexity
- preprocessing
- np hard
- worst case
- times faster
- search space
- segmentation algorithm
- expectation maximization
- computational cost
- high accuracy
- particle swarm optimization
- space exploration
- optimization algorithm
- experimental evaluation
- cost function
- mobile robot
- path planning
- association rules
- expert systems
- control scheme
- parameter tuning
- obstacle avoidance
- decision making