Solving Parity Games Using An Automata-Based Algorithm.
Antonio Di StasioAniello MuranoGiuseppe PerelliMoshe Y. VardiPublished in: CoRR (2019)
Keyphrases
- dynamic programming
- detection algorithm
- optimal solution
- k means
- learning algorithm
- optimization algorithm
- experimental evaluation
- np hard
- cost function
- worst case
- preprocessing
- combinatorial optimization
- simulated annealing
- times faster
- computer games
- high accuracy
- segmentation algorithm
- computationally efficient
- search space
- computational complexity
- objective function
- linear programming
- particle swarm optimization
- genetic algorithm
- theoretical analysis
- probabilistic model
- computational cost
- convex hull
- reinforcement learning
- video games
- improved algorithm
- weighted majority