Author:
Budde Carlos E.,D’Argenio Pedro R.,Hartmanns Arnd
Publisher
Springer International Publishing
Reference35 articles.
1. Amrein, M., Künsch, H.R.: A variant of importance splitting for rare event estimation: Fixed number of successes. ACM Trans. Model. Comput. Simul. 21(2), 13:1–13:20 (2011)
2. Bayes, A.J.: Statistical techniques for simulation models. Aust. Comput. J. 2(4), 180–184 (1970)
3. Budde, C.E.: Automation of Importance Splitting Techniques for Rare Event Simulation. Ph.D. thesis, Universidad Nacional de Córdoba, Córdoba, Argentina (2017)
4. Budde, C.E., D’Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS (2016)
5. Cérou, F., Guyader, A.: Adaptive multilevel splitting for rare event analysis. Stoch. Anal. Appl. 25(2), 417–443 (2007)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024
2. On Correctness, Precision, and Performance in Quantitative Verification;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021
3. An efficient statistical model checker for nondeterminism and rare events;International Journal on Software Tools for Technology Transfer;2020-05-28
4. Statistical Model Checking: Black or White?;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
5. FIG: The Finite Improbability Generator;Tools and Algorithms for the Construction and Analysis of Systems;2020