Partial Order Reduction on Concurrent Probabilistic Programs.

Pedro R. D'Argenio Peter Niebert

Published in: QEST (2004)

Keyphrases

partial order reduction
model checking
petri net
probabilistic model
probabilistic interpretation
bayesian networks
generative model
probabilistic logic
computer programs
context sensitive
data driven
evolutionary algorithm
multiscale
intermediate level
data sets
real time
uncertain data
search algorithm
case study