Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems.

Joost-Pieter Katoen Doron A. Peled

Published in: ESOP (2013)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
generative model
data driven
probabilistic logic
databases
genetic algorithm
bayesian networks
petri net
model checking
statistical modeling