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

Abstract

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

Topics

Figures and Tables

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

Slides referencing similar topics