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