Symbolic representations and analysis of large probabilistic systems

Research output: Chapter in Book/Report/Conference proceedingChapter

Authors

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

Colleges, School and Institutes

Abstract

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.

Details

Original languageEnglish
Title of host publicationValidation of Stochastic Systems: A Guide to Current Research
Publication statusPublished - 1 Jan 2004