C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Compositional Metric Reasoning with Probabilistic Process Calculi.
Daniel Gebler
Kim Guldstrand Larsen
Simone Tini
Published in:
FoSSaCS (2015)
Keyphrases
</>
data sets
case study
construction process
probabilistic model
knowledge representation
distance function
spatial reasoning
reasoning process
reasoning problems
causal networks