A Discrete Strategy Improvement Algorithm for Solving Parity Games.
Jens VögeMarcin JurdzinskiPublished in: CAV (2000)
Keyphrases
- computational complexity
- improved algorithm
- significant improvement
- detection algorithm
- experimental evaluation
- recognition algorithm
- search strategy
- np hard
- high accuracy
- learning algorithm
- convex hull
- times faster
- expectation maximization
- cost function
- preprocessing
- optimal solution
- segmentation algorithm
- optimization algorithm
- dynamic programming
- monte carlo
- combinatorial optimization
- genetic algorithm
- real valued time series
- linear programming
- worst case
- objective function
- selection algorithm
- gradient projection