Finite Improbability Generator
489
References
1. Barbot, B., Haddad, S., Picaronny, C.: Coupling and importance sampling for
statistical model checking. In: TACAS. LNCS, vol. 7214, pp. 331–346. Springer
Berlin Heidelberg (2012). https://doi.org/10.1007/978-3-642-28756-5_23
2. Budde, C.E.: Automation of Importance Splitting Techniques for Rare Event
Simulation. Ph.D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2017), https://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-detail.
pl?biblionumber=18143
3. Budde, C.E.: FIG: the Finite Improbability Generator. 4TU.Centre for
Research Data (2020). https://doi.org/10.4121/uuid:1d5ddcd6-b3a9-4425-92b3c46db98b7d8e
4. Budde, C.E., D’Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: SETTA. LNCS, vol. 10606, pp. 42–58. Springer
(2017). https://doi.org/10.1007/978-3-319-69483-2_3
5. Budde, C.E., D’Argenio, P.R., Hartmanns, A., Sedwards, S.: A statistical model
checker for nondeterminism and rare events. In: TACAS. LNCS, vol. 10806, pp.
340–358. Springer (2018). https://doi.org/10.1007/978-3-319-89963-3_20
6. Budde, C.E., D’Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS. ICST
(2016). https://doi.org/10.4108/eai.25-10-2016.2266501
7. Budde, C.E., Dehnert, C., Hahn, E.M., Hartmanns, A., Junges, S., Turrini, A.:
JANI: Quantitative model and tool interaction. In: TACAS. LNCS, vol. 10206, pp.
151–168. Springer (2017). https://doi.org/10.1007/978-3-662-54580-5_9
8. Cérou, F., Del Moral, P., Furon, T., Guyader, A.: Sequential Monte Carlo
for rare event estimation. Statistics and Computing 22(3), 795–808 (2012).
https://doi.org/10.1007/s11222-011-9231-6
9. Conway, R.: Some tactical problems in digital simulation. Management Science
10(1), 47–61 (1963). https://doi.org/10.1287/mnsc.10.1.47
10. D’Argenio, P.R., Legay, A., Sedwards, S., Traonouez, L.M.: Smart sampling for
lightweight verification of Markov decision processes. STTT 17(4), 469–484 (2015).
https://doi.org/10.1007/s10009-015-0383-0
11. D’Argenio, P.R., Monti, R.E.: Input/Output Stochastic Automata with Urgency:
Confluence and weak determinism. In: ICTAC. LNCS, vol. 11187, pp. 132–152.
Springer (2018). https://doi.org/10.1007/978-3-030-02508-3_8
12. Dean, T., Dupuis, P.: Splitting for rare event simulation: A large deviation approach
to design and analysis. Stochastic Processes and their Applications 119(2), 562–
587 (2009). https://doi.org/10.1016/j.spa.2008.02.017
13. Dehnert, C., Junges, S., Katoen, J.P., Volk, M.: A Storm is coming: A modern
probabilistic model checker. In: CAV. LNCS, vol. 10427, pp. 592–600. Springer
(2017). https://doi.org/10.1007/978-3-319-63390-9_31
14. Garvels, M.J.J., van Ommeren, J.C.W., Kroese, D.P.: On the importance function in splitting simulation. Eur. Trans. Telecommun. 13(4), 363–371 (2002).
https://doi.org/10.1002/ett.4460130408
15. Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, Department of Computer Science, University of Twente, Enschede, The Netherlands
(2000), http://eprints.eemcs.utwente.nl/14291/
16. Hartmanns, A., Hermanns, H.: The Modest Toolset: An integrated environment for
quantitative modelling and verification. In: TACAS. LNCS, vol. 8413, pp. 593–598.
Springer (2014). https://doi.org/10.1007/978-3-642-54862-8_51
489
References
1. Barbot, B., Haddad, S., Picaronny, C.: Coupling and importance sampling for
statistical model checking. In: TACAS. LNCS, vol. 7214, pp. 331–346. Springer
Berlin Heidelberg (2012). https://doi.org/10.1007/978-3-642-28756-5_23
2. Budde, C.E.: Automation of Importance Splitting Techniques for Rare Event
Simulation. Ph.D. thesis, FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina (2017), https://famaf.biblio.unc.edu.ar/cgi-bin/koha/opac-detail.
pl?biblionumber=18143
3. Budde, C.E.: FIG: the Finite Improbability Generator. 4TU.Centre for
Research Data (2020). https://doi.org/10.4121/uuid:1d5ddcd6-b3a9-4425-92b3c46db98b7d8e
4. Budde, C.E., D’Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: SETTA. LNCS, vol. 10606, pp. 42–58. Springer
(2017). https://doi.org/10.1007/978-3-319-69483-2_3
5. Budde, C.E., D’Argenio, P.R., Hartmanns, A., Sedwards, S.: A statistical model
checker for nondeterminism and rare events. In: TACAS. LNCS, vol. 10806, pp.
340–358. Springer (2018). https://doi.org/10.1007/978-3-319-89963-3_20
6. Budde, C.E., D’Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: VALUETOOLS. ICST
(2016). https://doi.org/10.4108/eai.25-10-2016.2266501
7. Budde, C.E., Dehnert, C., Hahn, E.M., Hartmanns, A., Junges, S., Turrini, A.:
JANI: Quantitative model and tool interaction. In: TACAS. LNCS, vol. 10206, pp.
151–168. Springer (2017). https://doi.org/10.1007/978-3-662-54580-5_9
8. Cérou, F., Del Moral, P., Furon, T., Guyader, A.: Sequential Monte Carlo
for rare event estimation. Statistics and Computing 22(3), 795–808 (2012).
https://doi.org/10.1007/s11222-011-9231-6
9. Conway, R.: Some tactical problems in digital simulation. Management Science
10(1), 47–61 (1963). https://doi.org/10.1287/mnsc.10.1.47
10. D’Argenio, P.R., Legay, A., Sedwards, S., Traonouez, L.M.: Smart sampling for
lightweight verification of Markov decision processes. STTT 17(4), 469–484 (2015).
https://doi.org/10.1007/s10009-015-0383-0
11. D’Argenio, P.R., Monti, R.E.: Input/Output Stochastic Automata with Urgency:
Confluence and weak determinism. In: ICTAC. LNCS, vol. 11187, pp. 132–152.
Springer (2018). https://doi.org/10.1007/978-3-030-02508-3_8
12. Dean, T., Dupuis, P.: Splitting for rare event simulation: A large deviation approach
to design and analysis. Stochastic Processes and their Applications 119(2), 562–
587 (2009). https://doi.org/10.1016/j.spa.2008.02.017
13. Dehnert, C., Junges, S., Katoen, J.P., Volk, M.: A Storm is coming: A modern
probabilistic model checker. In: CAV. LNCS, vol. 10427, pp. 592–600. Springer
(2017). https://doi.org/10.1007/978-3-319-63390-9_31
14. Garvels, M.J.J., van Ommeren, J.C.W., Kroese, D.P.: On the importance function in splitting simulation. Eur. Trans. Telecommun. 13(4), 363–371 (2002).
https://doi.org/10.1002/ett.4460130408
15. Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, Department of Computer Science, University of Twente, Enschede, The Netherlands
(2000), http://eprints.eemcs.utwente.nl/14291/
16. Hartmanns, A., Hermanns, H.: The Modest Toolset: An integrated environment for
quantitative modelling and verification. In: TACAS. LNCS, vol. 8413, pp. 593–598.
Springer (2014). https://doi.org/10.1007/978-3-642-54862-8_51