Computing Behavioral Relations for Probabilistic Concurrent Systems.
Daniel GeblerVahid HashemiAndrea TurriniPublished 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