A Simple Decision Method for the Linear Time Mu-calculus.

Published in: STRICT (1995)

Keyphrases

cost function
experimental evaluation
high accuracy
mutual information
main contribution
neural network
pairwise
clustering method
high precision
preprocessing
significant improvement
classification accuracy
detection method
synthetic data
optimization method