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

Counterexamples with Loops for Predicate Abstraction.

Daniel KroeningGeorg Weissenbacher
Published in: CAV (2006)
Keyphrases
  • high level
  • data abstraction
  • first order logic
  • logic rules
  • database
  • neural network
  • knowledge base
  • datalog programs
  • reinforcement learning
  • search algorithm
  • state abstraction
  • decision theoretic planning