Computing Behavioral Relations for Probabilistic Concurrent Systems.

Daniel Gebler Vahid Hashemi Andrea Turrini

Published in: ROCKS (2012)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
bayesian networks

petri net
formal specification
model checking
transition systems
monotonicity constraints

generative model
probabilistic model
semantic relations
uncertain data
probabilistic logic

data driven
neural network
conditional probabilities
fine grained
open source