• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On-The-Fly Solving for Symbolic Parity Games.

Maurice LaveauxWieger WesselinkTim 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