C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Counterexamples with Loops for Predicate Abstraction.
Daniel Kroening
Georg 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