36 search results - page 1 / 8 » Confluence Reduction for Probabilistic Systems (extended ver... |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
FSTTCS
2006
Springer
13 years 8 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
QEST
2009
IEEE
13 years 11 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...