A Weakness Measure for GR(1) Formulae.

Davide Giacomo Cavezza Dalal Alrajeh András György

Published in: FM (2018)

Keyphrases

information systems
preprocessing
mobile robot
distance measure
information theory
database
metadata
similarity measure
probabilistic model