Sequential schemes for frequentist estimation of properties in statistical model checking

Sequential schemes for frequentist estimation of properties in statistical model checking

Statistical Model Checking (SMC) is an approximate verification method that overcomes the state space explosion problem for probabilistic systems by Monte Carlo simulations. Simulations might be however costly if many samples are required. It is thus necessary to implement efficient algorithms to re...

Saved in:

書目詳細資料
Main Authors:	JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2017
主題:	Error analysis Estimation Intelligent systems Monte Carlo methods Sampling Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4715 https://ink.library.smu.edu.sg/context/sis_research/article/5718/viewcontent/Sequential_schemes_QEST17_av.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

On the sequential massart algorithm for statistical model checking
由: JEGOUREL, Cyrille, et al.
出版: (2018)

SEQUENTIAL MONTE CARLO ALGORITHMS FOR HIGH-DIMENSIONAL FILTERING AND SMOOTHING
由: XU YAXIAN
出版: (2018)

On adaptive resampling strategies for sequential Monte Carlo methods
由: Del Moral, P., et al.
出版: (2016)

Efficient evaluation of reliability for slopes with circular slip surfaces using importance sampling
由: Ching, J., et al.
出版: (2014)

Applications on Monte Carlo simulation to some actuarial problem
由: Lopez, Ma. Regina F., et al.
出版: (1983)

Some current issues in quasi-Monte Carlo methods
由: Niederreiter, H.
出版: (2014)

ERROR REGIONS FOR SELF-CALIBRATING QUANTUM TOMOGRAPHY AND SAMPLING OF QUANTUM CHANNELS
由: SIM JUN YAN
出版: (2020)

An adaptive sequential Monte Carlo method for approximate Bayesian computation
由: Del Moral, P., et al.
出版: (2016)

Monte Carlo sampling from the quantum state space. II
由: Seah, Y.-L, et al.
出版: (2020)

Development of a computer program for oil reserve calculation using Monte Carlo simulation
由: Anuntasak Suksasilp
出版: (1992)

Solvation of beta-D-glucosamine in water by Monte Carlo method
由: Khatcharin Siriwong
出版: (2000)

Fitting coefficients of differential systems with Monte Carlo methods
由: Chan Shio, Christian, et al.
出版: (2015)

Monte carlo simulation by code of MCNP and experimental check for measuring thickness of materials for the spec raltzrng system of MYO-101
由: Bui, Van Loat, et al.
出版: (2017)

Inference for a class of partially observed point process models
由: Martin, J.S., et al.
出版: (2016)

Efficient MCMC schemes for computationally expensive posterior distributions
由: Fielding, M., et al.
出版: (2014)

Using quasi-Monte Carlo methods to evaluate value-at-risk
由: ZHANG YUBEI
出版: (2019)

Monte Carlo sampling from the quantum state space. I
由: Shang, J, et al.
出版: (2020)

Numerical analysis for inchworm Monte Carlo method: Sign problem and error growth
由: Cai, Zhenning, et al.
出版: (2023)

Three-body effect in Monte Carlo simulation for metal ion-ammonia solution
由: Wanna Wirojdanthai
出版: (2007)

The structural evaluation of lithium chloride in liquid hydroxylamine by monte carlo simulation
由: Pornthep Sompornpisut
出版: (2013)

A Monte Carlo exercise to reduce the excess stock situation in a television factory
由: Lopez, Ma. Concepcion, et al.
出版: (1987)

Three-body effect in Monte Carlo simulation for metal ion-ammonia solution
由: Wanna Wirojdanthai
出版: (2000)

The solvation structure of lithium ion in water-ammonia mixture by Monte Carlo method
由: Suchada Kheawsrikul
出版: (1988)

The structural evaluation of lithium chloride in liquid hydroxylamine by monte carlo simulation
由: Pornthep Sompornpisut
出版: (1993)

Identification of statistically homogeneous soil layers using modified bartlett statistics
由: Phoon, K.-K., et al.
出版: (2014)

Parameter estimation for hidden markov models with intractable likelihoods
由: Dean, T.A., et al.
出版: (2016)

AUTHENTICATION OF COD AND HEN EGGS FOR PRODUCTION METHOD AND GEOGRAPHIC ORIGIN USING NATURAL ISOTOPE SIGNATURES OF CARBON, NITROGEN AND STRONTIUMAILAND BORDERLANDSCAPE
由: BAY LIAN JIE
出版: (2014)

Observations on limit equilibrium-based slope reliability problems with inclined weak seams
由: Ching, J., et al.
出版: (2014)

Gradient Free Parameter Estimation for Hidden Markov Models with Intractable Likelihoods
由: Ehrlich, E., et al.
出版: (2016)

Bayes estimation of a symmetric unimodal density via S-paths
由: Ho, M.-W.
出版: (2014)

การเปรียบเทียบวิธีลูกโซ่มาร์คอฟมอนติคาร์โลสำหรับการอนุมานแบบเบส์เมื่อมีเงื่อนไขบังคับเชิงอันดับ
由: ณภัชนันท์ อุทธโยธา
出版: (2016)

Computational methods for a class of network models
由: Wang, J., et al.
出版: (2016)

Bayesian parameter inference for partially observed stopped processes
由: Jasra, A., et al.
出版: (2016)

Assessing the sensitivity of bioenergy parks to capacity disruptions using Monte Carlo simulation
由: Benjamin, Michael Francis D., et al.
出版: (2017)

Understanding the effect of pore size on the separation efficiency of methane-ethane mixtures using kinetic Monte Carlo simulation
由: Tan, Johnathan Shiliang, et al.
出版: (2022)

Optimization of dynamic carousel circuit for droneport airside operations under weather uncertainty
由: Zeng, Yixi, et al.
出版: (2022)

Logistic mixtures vs. Markov chain Monte Carlo
由: De Leon, Karmello Juan C., et al.
出版: (2008)

Numerical solution of the modified and non-Newtonian Burgers equations by stochastic coded trees
由: Nguwi, Jiang Yu, et al.
出版: (2023)

อิทธิพลของความไร้ระเบียบต่อการขนส่งแบบควอนตัมของวอร์เท็กซ์ทั้งหลายของรอยต่อโจเซฟสัน ในแถวลำดับ 2 มิติ
由: ทรงวุฒิ ฉิมจินดา
出版: (2000)

A Monte Carlo study on the influence of macrocyclic compound on the structure of water and ammonia mixture
由: Sareyaporn Udomsub
出版: (1994)