Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems


As discrete–state systems are pervasive in our society, it is essential that we model and analyze them effectively, both prior to putting them in operation and during their useful life. The size of their state space, however, is a huge obstacle in practice. Often, the “easy” way to tackle this problem is to use some type of simulation, but this technique… (More)
DOI: 10.1007/11549970_2


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics