An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
暂无分享,去创建一个
[1] Cyrille Jégourel,et al. Importance Splitting for Statistical Model Checking Rare Properties , 2013, CAV.
[2] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .
[3] F. Cérou,et al. Adaptive Multilevel Splitting for Rare Event Analysis , 2007 .
[4] Jane Hillston,et al. PALOMA: A Process Algebra for Located Markovian Agents , 2014, QEST.
[5] Axel Legay,et al. PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library , 2013, QEST.
[6] M. Okamoto. Some inequalities relating to the partial sum of binomial probabilities , 1959 .
[7] P. Moral. Feynman-Kac Formulae: Genealogical and Interacting Particle Systems with Applications , 2004 .
[8] Serge Haddad,et al. Coupling and Importance Sampling for Statistical Model Checking , 2012, TACAS.
[9] Cyrille Jégourel,et al. Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking , 2012, CAV.
[10] Daniel Lehmann,et al. On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem , 1981, POPL '81.
[11] Pierre Del Moral,et al. Sequential Monte Carlo for rare event estimation , 2012, Stat. Comput..
[12] Boudewijn R. Haverkort,et al. Rare Event Simulation for Highly Dependable Systems with Fast Repairs , 2010, QEST.
[13] H. Kahn,et al. Methods of Reducing Sample Size in Monte Carlo Computations , 1953, Oper. Res..
[14] Paul Glasserman,et al. Multilevel Splitting for Estimating Rare Event Probabilities , 1999, Oper. Res..
[15] Cyrille Jégourel,et al. A Platform for High Performance Statistical Model Checking - PLASMA , 2012, TACAS.
[16] H. Kahn,et al. Random sampling (Monte Carlo) techniques in neutron attenuation problems--I. , 1950, Nucleonics.
[17] Joseph Sifakis,et al. Model checking , 1996, Handbook of Automated Reasoning.
[18] M. Eisen,et al. Probability and its applications , 1975 .
[19] H. Kahn. Random sampling (Monte Carlo) techniques in neutron attenuation problems--II. , 1950, Nucleonics.
[20] Thomas Cleff,et al. Operations Research 1 , 2005 .
[21] R. Laubenfels,et al. Feynman–Kac Formulae: Genealogical and Interacting Particle Systems with Applications , 2005 .
[22] R. Khan,et al. Sequential Tests of Statistical Hypotheses. , 1972 .
[23] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[24] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[25] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[26] A. W. Rosenbluth,et al. MONTE CARLO CALCULATION OF THE AVERAGE EXTENSION OF MOLECULAR CHAINS , 1955 .