Sign in

Logical Characterization of Bisimulation Metrics.

Valentina CastiglioniDaniel GeblerSimone 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