Searching for "Abstraction of Probabilistic Systems." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Don't Know in Probabilistic Systems
- … probabilistic systems (abstract Markov chains) with respect to specifications in probabilistic temporal logics…
- Cited by 7 (3 self) – Add To MetaCart
-
Quantitative refinement and model checking for the analysis of probabilistic systems
- … by abstraction. For probabilistic systems there are model checkers and simulators too; but probabilistic program…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards automated proof support for probabilistic distributed systems
- … for non-probabilistic systems [28]. Our second contribution is a model of abstract probabilities KS…
- Cited by 3 (2 self) – Add To MetaCart
-
Possibilistic and Probabilistic Abstraction-Based Model Checking
- … existing work on abstraction of probabilistic systems. Section 3 generalizes labeled concurrent Markov…
- Cited by 4 (2 self) – Add To MetaCart
-
2 Three-Valued Abstraction
- … for Probabilistic Systems Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf ISSN 0935-3232 * Aachener…
- Add To MetaCart
-
Defining Explanation in Probabilistic Systems
- … Computer Science Department Ithaca, NY 14853 halpern@(email omitted); Abstract As probabilistic systems…
- Cited by 16 (3 self) – Add To MetaCart
Showing 1 through 6.
