An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games.
Luca de AlfaroMarco FaellaPublished in: CAV (2007)
Keyphrases
- preprocessing
- learning algorithm
- optimal solution
- computational complexity
- experimental evaluation
- matching algorithm
- expectation maximization
- objective function
- optimization algorithm
- np hard
- game tree
- detection algorithm
- probabilistic model
- computational cost
- cost function
- significant improvement
- image processing
- worst case
- color images
- k means
- segmentation method
- evolutionary algorithm
- game design