Compositional Abstraction for Stochastic Systems (Q3648832): Difference between revisions

@@ Property / describes a project that uses @@
+CADP
@@ Property / describes a project that uses: CADP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PEPA
@@ Property / describes a project that uses: PEPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2148384577
@@ Property / OpenAlex ID: W2148384577 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
+Normal rank
@@ Property / cites work @@
+Compositional Abstraction in Real-Time Model Checking
+Normal rank
@@ Property / cites work @@
+On process rate semantics
@@ Property / cites work: On process rate semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Least Upper Bounds for Probability Measures and Their Applications to Abstractions
+Normal rank
@@ Property / cites work @@
+Q4791844
@@ Property / cites work: Q4791844 / rank @@
+Normal rank
@@ Property / cites work @@
+Magnifying-Lens Abstraction for Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808842
@@ Property / cites work: Q4808842 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated compositional Markov chain generation for a plain-old telephone system
+Normal rank
@@ Property / cites work @@
+Probabilistic CEGAR
@@ Property / cites work: Probabilistic CEGAR / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Approach to Performance Modelling
@@ Property / cites work: A Compositional Approach to Performance Modelling / rank @@
+Normal rank
@@ Property / cites work @@
+Q3510491
@@ Property / cites work: Q3510491 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203061
@@ Property / cites work: Q3203061 / rank @@
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Abstraction Refinement for Probabilistic Software
@@ Property / cites work: Abstraction Refinement for Probabilistic Software / rank @@
+Normal rank
@@ Property / cites work @@
+Game-Based Probabilistic Predicate Abstraction in PRISM
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Verification and 3-Valued Abstractions Join Forces
+Normal rank
@@ Property / cites work @@
+-valued abstraction: More precision at less cost
@@ Property / cites work: 3-valued abstraction: More precision at less cost / rank @@
+Normal rank