Improved Set-Based Symbolic Algorithms for Parity Games.

Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Veronika Loitzenbauer

Published in: CSL (2017)

Keyphrases

learning algorithm
orders of magnitude
theoretical analysis
bayesian networks
computational cost
small number
computationally efficient
machine learning algorithms
high level
computational complexity
significant improvement
probability distribution
optimization problems
lower and upper bounds