Sciweavers

CAV
1999
Springer

On the Representation of Probabilities over Structured Domains

14 years 3 months ago
On the Representation of Probabilities over Structured Domains
Abstract. In this paper we extend one of the main tools used in veri cation 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 veri cation community to numerous domains which need to manipulate very large matrices.
Marius Bozga, Oded Maler
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where CAV
Authors Marius Bozga, Oded Maler
Comments (0)