Statistical Model Checking Using Perfect Simulation (Q3648695): Difference between revisions

@@ Property / cites work @@
+Statistical Model Checking Using Perfect Simulation
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851772
@@ Property / cites work: Q4851772 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Exact sampling with coupled Markov chains and applications to statistical mechanics
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On the exact simulation of functionals of stationary Markov chains
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Statistical probabilistic model checking with a focus on time-bounded properties
+Normal rank