Command-based importance sampling for statistical model checking (Q313977): Difference between revisions

@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4094202
@@ Property / cites work: Q4094202 / rank @@
+Normal rank
@@ Property / cites work @@
+Rare Event Simulation using Monte Carlo Methods
@@ Property / cites work: Rare Event Simulation using Monte Carlo Methods / rank @@
+Normal rank
@@ Property / cites work @@
+A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations
+Normal rank
@@ Property / cites work @@
+Some inequalities relating to the partial sum of binomial probabilities
+Normal rank
@@ Property / cites work @@
+Probability Inequalities for Sums of Bounded Random Variables
+Normal rank
@@ Property / cites work @@
+Sequential Tests of Statistical Hypotheses
@@ Property / cites work: Sequential Tests of Statistical Hypotheses / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A Platform for High Performance Statistical Model Checking – PLASMA
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+The Monte Carlo Method
@@ Property / cites work: The Monte Carlo Method / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q5529067
@@ Property / cites work: Q5529067 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization of computer simulation models with rare events
+Normal rank
@@ Property / cites work @@
+The cross-entropy method for combinatorial and continuous optimization
+Normal rank
@@ Property / cites work @@
+Importance Sampling for the Simulation of Highly Reliable Markovian Systems
+Normal rank
@@ Property / cites work @@
+Fast simulation of rare events in queueing and reliability models
+Normal rank
@@ Property / cites work @@
+Importance sampling simulations of Markovian reliability systems using cross-entropy
+Normal rank
@@ Property / cites work @@
+Fast Simulation of Markov Chains with Small Transition Probabilities
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Cyber-Physical Systems
+Normal rank
@@ Property / cites work @@
+Coupling and Importance Sampling for Statistical Model Checking
+Normal rank
@@ Property / cites work @@
+Q4828566
@@ Property / cites work: Q4828566 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy
+Normal rank
@@ Property / cites work @@
+The Zagreb coindices of graph operations
@@ Property / cites work: The Zagreb coindices of graph operations / rank @@
+Normal rank
@@ Property / cites work @@
+A Study on the Cross-Entropy Method for Rare-Event Probability Estimation
+Normal rank