Partial Order Reduction for Probabilistic Branching Time
Under a Creative Commons license
open access
Keywords
partial order reduction
Markov decision process
PCTL
model checking
probabilistic visible bisimulation
ample set
Cited by (0)
- 1
supported by DFG-Project “VERIAM” and DFG-NWO-Project “VOSS II”
- 2
supported by the EC Project IST-2001-35304, “AMETIST”, and the ANPCyT PICT 11-11738
- 3
supported by DFG-Project “VERIAM” and DFG-NWO-Project “VOSS II”
Copyright © 2006 Elsevier B.V.