Login / Signup

Efficient Büchi Universality Checking.

Seth FogartyMoshe Y. Vardi
Published in: TACAS (2010)
Keyphrases
  • bayesian networks
  • data sets
  • databases
  • wide range
  • knowledge base
  • feature extraction
  • optimal solution