Login / Signup
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures.
Louise Foshammer
Kim Guldstrand Larsen
Anders 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