Justifications and a Reconstruction of Parity Game Solving Algorithms.
Ruben LapauwMaurice BruynoogheMarc DeneckerPublished in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Keyphrases
- orders of magnitude
- emission tomography
- educational games
- data structure
- times faster
- theoretical analysis
- neural network
- combinatorial optimization
- machine learning algorithms
- significant improvement
- computational complexity
- learning algorithm
- bit rate
- optimization problems
- benchmark datasets
- high resolution
- data mining
- game playing
- data sets