On-The-Fly Solving for Symbolic Parity Games.

Maurice Laveaux Wieger Wesselink Tim A. C. Willemse

Published in: TACAS (2) (2022)

Keyphrases

game theory
error correction
weighted majority
high level
video games
serious games
game playing
solving problems
coalitional games
multi agent
decision problems
game play
game theoretic
finite domain