Login / Signup
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.
Thanyapat Sakunkonchak
Satoshi Komatsu
Masahiro Fujita
Published in:
ATVA (2007)
Keyphrases
</>
maximum number
information retrieval
computational complexity
image analysis
real world
high level
multi agent
small number
statistical analysis