Sign in
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.
Ruggero Lanotte
Simone Tini
Published in:
ICTAC (2018)
Keyphrases
</>
dynamic programming
probabilistic model
random fields