Login / Signup
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).
Pavel S. Andrianov
Karlheinz Friedberger
Mikhail U. Mandrykin
Vadim S. Mutilin
Anton Volkov
Published in:
TACAS (2) (2017)
Keyphrases
</>
parameter estimation
statistical models
data sets
neural network
model selection
feature selection
high level
data structure
search space
prior knowledge
complex systems
statistical model
first order logic
experimental data