• DOI:10.1016/S1567-8326(02)00066-8
Corpus ID: 2506110

On the use of MTBDDs for performability analysis and verification of stochastic systems

@article{Hermanns2003OnTU,
  title={On the use of MTBDDs for performability analysis and verification of stochastic systems},
  author={H. Hermanns and M. Kwiatkowska and G. Norman and D. Parker and M. Siegle},
  journal={J. Log. Algebraic Methods Program.},
  year={2003},
  volume={56},
  pages={23-67}
}

H. Hermanns, M. Kwiatkowska, +2 authors M. Siegle

Published 2003

Computer Science

J. Log. Algebraic Methods Program.

This paper describes how to employ multi-terminal binary decision diagrams (MTBDDs) for the construction and analysis of a general class of models that exhibit stochastic, probabilistic and non-deterministic behaviour. It is shown how the notorious problem of state space explosion can be circumvented by compositionally constructing symbolic (i.e. MTBDD-based) representations of complex systems from small-scale components. We emphasise, however, that compactness of the representation can only be… CONTINUE READING

View via Publisher

ris.utwente.nl

Save to Library

Create Alert

Cite

Launch Research Feed