IEEE - Institute of Electrical and Electronics Engineers, Inc. - Technique and tool for symbolic representation and manipulation of stochastic transition systems

Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS'98

Author(s): Siegle, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1998
Conference Location: Durham, NC, USA, USA
Conference Date: 9 September 1998
ISBN (Paper): 0-8186-8679-0
ISSN (Paper): 1087-2191
DOI: 10.1109/IPDS.1998.707731
Regular:

We present a new approach to the compact symbolic representation of stochastic transition systems, based on Decision Node BDDs, a novel stochastic extension of BDDs. Parallel composition of... View More

Advertisement