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

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