Login / Signup

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.

Thomas NeeleTim A. C. WillemseWieger Wesselink
Published in: TACAS (2) (2020)
Keyphrases
  • computer games
  • expert systems
  • data sets
  • artificial intelligence
  • building blocks
  • complex systems
  • game theory
  • neural network
  • computer systems
  • learning systems
  • video games
  • real valued