A Weakness Measure for GR(1) Formulae.

Davide G. Cavezza Dalal Alrajeh András György

Published in: Formal Aspects Comput. (2021)

Keyphrases

similarity measure
fuzzy logic
information content
neural network
simulated annealing
real time
learning algorithm
artificial intelligence
website
image segmentation
high level
hidden markov models
distance measure
first order logic
information theory