Validation of Stochastic Systems pp 296-338

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2925)

Symbolic Representations and Analysis of Large Probabilistic Systems

  • Andrew Miner
  • David Parker


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Andrew Miner
    • 1
  • David Parker
    • 2
  1. 1.Dept. of Computer ScienceIowa State UniversityAmes
  2. 2.School of Computer ScienceUniversity of BirminghamUK

Personalised recommendations