Symbolic representations and analysis of large probabilistic systems

A Miner, David Parker, C Baier, B Haverkort, H Hermanns, J-P Katoen, M Siegle, F Vaandrager

Research output: Chapter in Book/Report/Conference proceedingChapter

41 Citations (Scopus)


This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by exploiting high-level structure and regularity in the models to which they are applied, increasing the size of the state spaces which can be tackled. In general, this is done by using data structures which provide compact storage but which are still efficient to manipulate, usually based on binary decision diagrams (BDDs) or their extensions. In this paper we focus on BDDs, multi-valued decision diagrams (MDDs), multi-terminal binary decision diagrams (MTBDDs) and matrix diagrams.
Original languageEnglish
Title of host publicationValidation of Stochastic Systems: A Guide to Current Research
Publication statusPublished - 1 Jan 2004


Dive into the research topics of 'Symbolic representations and analysis of large probabilistic systems'. Together they form a unique fingerprint.

Cite this