Login / Signup
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems.
Marco Bernardo
Marino Miculan
Published in:
ICTCS (2016)
Keyphrases
</>
modal logic
probabilistic model
uncertain data
bayesian networks
distributed systems
generative model
temporal logic
probabilistic logic
expert systems
conditional probabilities
probability theory
classical logic