Improved Set-based Symbolic Algorithms for Parity Games.
Krishnendu ChatterjeeWolfgang DvorákMonika HenzingerVeronika LoitzenbauerPublished in: CoRR (2017)
Keyphrases
- computationally efficient
- theoretical analysis
- data structure
- small number
- learning algorithm
- lower and upper bounds
- orders of magnitude
- computational cost
- optimization problems
- multi objective
- times faster
- computational complexity
- benchmark datasets
- multi agent systems
- combinatorial optimization
- game design
- neural network
- learning agents