@inproceedings{bb424a198e4f43409639d3797a9cd9dc,
title = "Confluence Reduction for Probabilistic Systems",
abstract = "This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prove that this reduction preserves branching probabilistic bisimulation and can be applied on-the-fly. To support the technique, we introduce a method for detecting confluent transitions in the context of a probabilistic process algebra with data, facilitated by an earlier defined linear format. A case study demonstrates that significant reductions can be obtained.",
keywords = "METIS-277817, Branching probabilistic bisimulation, Confluence, IR-75536, EC Grant Agreement nr.: FP7/214755, State space reduction, Probabilistic process algebra, EWI-19229, Probabilistic automata",
author = "Mark Timmer and Stoelinga, {Mari{\"e}lle Ida Antoinette} and {van de Pol}, {Jan Cornelis}",
year = "2011",
month = mar,
doi = "10.1007/978-3-642-19835-9_29",
language = "English",
isbn = "978-3-642-19834-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "311--325",
editor = "P.A. Abdulla and K.R.M. Leino",
booktitle = "Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011",
note = "17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011 ; Conference date: 26-03-2011 Through 03-04-2011",
}