• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures.

Louise FoshammerKim Guldstrand LarsenAnders Mariegaard
Published in: Cassting/SynCoP (2016)
Keyphrases
  • weighted distance
  • real time
  • temporal logic
  • weighted sum
  • neural network
  • machine learning
  • information retrieval
  • image processing
  • database systems
  • modal logic
  • inference rules
  • simulation environment