C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Computation of minimal counterexamples by using black box techniques and symbolic methods.
Tobias Nopper
Christoph Scholl
Bernd Becker
Published in:
ICCAD (2007)
Keyphrases
</>
black box
significant improvement
hybrid systems
preprocessing
computational cost
state transition
empirical studies
incremental learning