Login / Signup
Probabilistic modal μ-calculus with independent product
Matteo Mio
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
probabilistic model
life cycle
bayesian networks
modal logic
product design
real time
pairwise
supply chain
model checking
posterior probability
temporal logic
context sensitive
probabilistic logic
transition systems