Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method.

Laurent Fribourg Ulrich Kühne

Published in: RP (2011)

Keyphrases

high accuracy
high precision
detection method
significant improvement
computational complexity
cost function
dynamic programming
computational cost
support vector machine
objective function
theoretical analysis
clustering method
pairwise
decision rules
classification algorithm
matching algorithm
test data