Solving Parity Games Using an Automata-Based Algorithm.
Antonio Di StasioAniello MuranoGiuseppe PerelliMoshe Y. VardiPublished in: CIAA (2016)
Keyphrases
- learning algorithm
- optimization algorithm
- theoretical analysis
- experimental evaluation
- detection algorithm
- computational cost
- matching algorithm
- times faster
- combinatorial optimization
- convergence rate
- recognition algorithm
- preprocessing
- objective function
- dynamic programming
- np hard
- computationally efficient
- improved algorithm
- significant improvement
- gradient projection
- tree structure
- np complete
- expectation maximization
- high accuracy
- probabilistic model
- multi objective
- lower bound