Least upper bounds for probability measures and their applications to abstractions (Q2637319): Difference between revisions

@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Comparative branching-time semantics for Markov chains
+Normal rank
@@ Property / cites work @@
+Least Upper Bounds for Probability Measures and Their Applications to Abstractions
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813198
@@ Property / cites work: Q4813198 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342799
@@ Property / cites work: Q3342799 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On finite-state approximants for probabilistic computation tree logic
+Normal rank
@@ Property / cites work @@
+Q4222969
@@ Property / cites work: Q4222969 / rank @@
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Q2722069
@@ Property / cites work: Q2722069 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of programs as Markov decision processes
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4179849
@@ Property / cites work: Q4179849 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank