Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials.

Erich Grädel Niels Lücking Matthias Naaf

Published in: GandALF (2021)

Keyphrases

statistical analysis
database
data model
databases
website
neural network
genetic algorithm
learning algorithm
image analysis
fine grained
game theoretic
optimal strategy