Partial order reduction for probabilistic branching time Export

@misc{citeulike:1266473, abstract = {In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both linear time and branching time specifications, methods have been developed to apply partial order reduction in the context of model checking. Only recently, results were published that give criteria on applying partial order reduction for verifying quantitative linear time properties for probabilistic systems. This paper...}, author = {Baier, C. and D'Argenio, P. and Grer, M.}, citeulike-article-id = {1266473}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3504}, keywords = {branching, partial-order, probabilistic, reduction}, posted-at = {2007-04-29 17:42:08}, priority = {2}, title = {Partial order reduction for probabilistic branching time}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3504} }

TY - GEN ID - citeulike:1266473 L3 - citeulike-article-id:1266473 N2 - In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both linear time and branching time specifications, methods have been developed to apply partial order reduction in the context of model checking. Only recently, results were published that give criteria on applying partial order reduction for verifying quantitative linear time properties for probabilistic systems. This paper... TI - Partial order reduction for probabilistic branching time KW - branching KW - partial-order KW - probabilistic KW - reduction AU - Baier, C AU - D'Argenio, P AU - Grer, M UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3504 ER -