Parametric Verification and Test Coverage for Hybrid Automata using the inverse Method.

Laurent Fribourg Ulrich Kühne

Published in: Int. J. Found. Comput. Sci. (2013)

Keyphrases

cost function
test data
significant improvement
high accuracy
verification method
statistical significance
learning algorithm
similarity measure
preprocessing
pairwise
dynamic programming
computational cost
detection method
high precision