Login / Signup
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials.
Erich Grädel
Niels Lücking
Matthias Naaf
Published in:
CoRR (2021)
Keyphrases
</>
data analysis
real time
databases
neural network
genetic algorithm