zbMATH — the first resource for mathematics

On the representation of probabilities over structured domains. (English) Zbl 1046.68581
Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 261-273 (1999).
Summary: In this paper we extend one of the main tools used in verification of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. We show how probabilistic vectors and matrices can be represented canonically and succinctly using probabilistic trees and graphs, and how simulation of large-scale probabilistic systems can be performed. We consider this work as an important contribution of the verification community to numerous domains which need to manipulate very large matrices.
For the entire collection see [Zbl 0925.68015].

68Q60 Specification and verification (program logics, model checking, etc.)
68Q45 Formal languages and automata