Command-based importance sampling for statistical model checking

DOI10.1016/J.TCS.2016.08.009zbMath1377.68133OpenAlexW2515987250MaRDI QIDQ313977

Axel Legay, Sean Sedwards, Cyrille Jegourel

Publication date: 12 September 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.08.009

zbMATH Keywords

Monte Carloimportance samplingrare eventscross entropyguarded commandsstatistical model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• Uppaal
• VESTA
• Ymer
• APMC
• COSMOS
• PLASMA
• PLASMA-lab
• Unnamed Item

Cites Work

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

This page was built for publication: Command-based importance sampling for statistical model checking