An Inverse Method for Parametric Timed Automata.

Étienne André Thomas Chatain Laurent Fribourg Emmanuelle Encrenaz

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

Keyphrases

experimental evaluation
high accuracy
high precision
detection method
similarity measure
computational cost
edge detection
synthetic data
artificial intelligence
artificial neural networks
knowledge base
bayesian networks
objective function
classification accuracy
support vector machine
optimization algorithm