Logical Characterization of Bisimulation Metrics.

Valentina Castiglioni Daniel Gebler Simone Tini

Published in: QAPL (2016)

Keyphrases

evaluation metrics
logical reasoning
database
data mining
knowledge base
data model
mobile robot
state space
evaluation criteria
logical structure
logical properties
empirical validation