Smoothed model checking for uncertain continuous-time Markov chains (Q259074): Difference between revisions

@@ Property / cites work @@
+Statistical probabilistic model checking with a focus on time-bounded properties
+Normal rank
@@ Property / cites work @@
+Bayesian statistical model checking with application to Simulink/Stateflow verification
+Normal rank
@@ Property / cites work @@
+Model Repair for Probabilistic Systems
@@ Property / cites work: Model Repair for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+System design of stochastic models using robustness of temporal properties
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Constraint Markov chains
@@ Property / cites work: Constraint Markov chains / 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 @@
+LTL Model Checking of Interval Markov Chains
@@ Property / cites work: LTL Model Checking of Interval Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Essentials of Stochastic Processes
@@ Property / cites work: Essentials of Stochastic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3103870
@@ Property / cites work: Q3103870 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Time-Bounded Verification of CTMCs against Real-Time Specifications
+Normal rank
@@ Property / cites work @@
+Q3394879
@@ Property / cites work: Q3394879 / rank @@
+Normal rank
@@ Property / cites work @@
+.1162/153244302760185252
@@ Property / cites work: 10.1162/153244302760185252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3546375
@@ Property / cites work: Q3546375 / rank @@
+Normal rank
@@ Property / cites work @@
+Bio-PEPA: A framework for the modelling and analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Q5858728
@@ Property / cites work: Q5858728 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic epidemic models and their statistical analysis
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Data-Driven Statistical Learning of Temporal Logic Properties
+Normal rank