Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.

Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Alexander Svozil

Published in: CoRR (2019)

Keyphrases

computationally efficient
orders of magnitude
theoretical analysis
data structure
computational cost
nearest neighbour
neural network
feature selection
significant improvement
input data
benchmark datasets
times faster
game theoretic