Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.

Thomas Ball Byron Cook Shuvendu K. Lahiri Lintao Zhang

Published in: CAV (2004)

Keyphrases

automatic theorem proving
first order logic
high level
data abstraction
refinement process
decision theoretic planning
data sets
neural network
data structure
multi agent systems
expert systems
hidden markov models
low level
mobile robot
programming language
query refinement