Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.
Krishnendu ChatterjeeWolfgang DvorákMonika HenzingerAlexander SvozilPublished in: LPAR (2018)
Keyphrases
- significant improvement
- data structure
- learning algorithm
- times faster
- polynomial time complexity
- orders of magnitude
- probability distribution
- computational cost
- small number
- worst case
- optimization problems
- theoretical analysis
- benchmark datasets
- objective function
- combinatorial optimization
- game theoretic
- neural network