{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:18:10Z","timestamp":1743056290617,"version":"3.40.3"},"publisher-location":"Cham","reference-count":72,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031754333"},{"type":"electronic","value":"9783031754340"}],"license":[{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75434-0_21","type":"book-chapter","created":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T09:25:01Z","timestamp":1735464301000},"page":"303-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Statistical Model Checking the\u00a02024 Edition!"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6078-4175","authenticated-orcid":false,"given":"Sudeep","family":"Kanav","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8122-2881","authenticated-orcid":false,"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5953-3384","authenticated-orcid":false,"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,12,30]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, C., Guha, S., K\u0159et\u00ednsk\u00fd, J., Pazhamalai, M.: PAC statistical model checking of mean payoff in discrete- and continuous-time MDP. In: CAV (2), volume 13372 of Lecture Notes in Computer Science, pp. 3\u201325. Springer (2022)","DOI":"10.1007\/978-3-031-13188-2_1"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Ashok, P., Jackermeier, M., Jagtap, P., K\u0159et\u00ednsk\u00fd, J., Weininger, M., Zamani, M.: dtcontrol: decision tree learning algorithms for controller representation. In: Aaron D. Ames, Sanjit A. Seshia, and Jyotirmoy Deshmukh, editors, HSCC \u201920: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21\u201324, 2020, pp. 30:1\u201330:2. ACM (2020)","DOI":"10.1145\/3365365.3383468"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Ashok, P., Jackermeier, M., Kret\u00ednsk\u00fd, J., Weinhuber, C., Weininger, M., Yadav, M.: dtcontrol 2.0: explainable strategy representation via decision tree learning steered by experts. In: TACAS (2), volume 12652 of Lecture Notes in Computer Science, pp. 326\u2013345. Springer (2021)","DOI":"10.1007\/978-3-030-72013-1_17"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Ashok, P., Kret\u00ednsk\u00fd, J., Weininger, M.: PAC statistical model checking for markov decision processes and stochastic games. In: CAV (1), volume 11561 of Lecture Notes in Computer Science, pp. 497\u2013519. Springer (2019)","DOI":"10.1007\/978-3-030-25540-4_29"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: FMOODS\/FORTE, pp. 32\u201346 (2010)","DOI":"10.1007\/978-3-642-13464-7_4"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10009-011-0201-2","volume":"14","author":"A Basu","year":"2012","unstructured":"Basu, A., Bensalem, S., Bozga, M., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. Int. J. Softw. Tools Technol. Transfer 14, 53\u201372 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"21_CR7","unstructured":"Br\u00e1zdil, T., et al.: Verification of Markov decision processes using learning algorithms. In: Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7,2014, Proceedings, pp. 98\u2013114 (2014)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Boyer, B., Corre, K., Legay, A., Sedwards, S.: PLASMA-lab: a flexible, distributable statistical model checking library. In: QEST, pp. 160\u2013164 (2013)","DOI":"10.1007\/978-3-642-40196-1_12"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: Cosmos: a statistical model checker for the hybrid automata stochastic logic. In: 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp. 143\u2013144. IEEE (2011)","DOI":"10.1109\/QEST.2011.24"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Bulychev, P., et al.: Statistical model checking for priced timed automata. In: QAPL, UPPAAL-SMC (2012)","DOI":"10.4204\/EPTCS.85.1"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Bogdoll, J., Hartmanns, A., Hermanns, H.: Simulation and statistical model checking for modestly nondeterministic models. In: MMB\/DFT, pp. 249\u2013252 (2012)","DOI":"10.1007\/978-3-642-28540-0_20"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Worm B\u00f8gedal, T., Rydhof Hansen, R., Larsen, K., Legay, A., Poulsen, D.: Statistical analysis of the impact of bit-flips in security critical code. In: Steffen, Bernhard, editor, TODO-Booktitle, volume in this volume. Springer (2024)","DOI":"10.1007\/978-3-031-75434-0_25"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Zuliani, P.: Statistical model checking for cyber-physical systems. In: ATVA, pp. 1\u201312 (2011)","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"David, A., Du, D., Guldstrand\u00a0Larsen, K., Legay, A., Miku\u010dionis, M.: Optimizing control strategy using statistical model checking. In: NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings 5, pp. 352\u2013367. Springer (2013)","DOI":"10.1007\/978-3-642-38088-4_24"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"David, A., et al.: Statistical model checking for stochastic hybrid systems. In: HSB, pp. 122\u2013136 (2012)","DOI":"10.4204\/EPTCS.92.9"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"David, A., Du, D., Larsen, K.G., Legay, A., Mikucionis, M.: Optimizing control strategy using statistical model checking. In: NASA Formal Methods, pp. 352\u2013367 (2013)","DOI":"10.1007\/978-3-642-38088-4_24"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1014091514039","volume":"6","author":"C Domingo","year":"2002","unstructured":"Domingo, C., Gavalda, R., Watanabe, O.: Adaptive sampling methods for scaling up knowledge discovery algorithms. Data Min. Knowl. Disc. 6, 131\u2013152 (2002)","journal-title":"Data Min. Knowl. Disc."},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Przemys\u0142aw, D., Henzinger, T.A., Kret\u00ednsk\u00fd, J., Petrov, T.: Faster statistical model checking for unbounded temporal properties. In: TACAS 2016, pp. 112\u2013129 (2016)","DOI":"10.1007\/978-3-662-49674-9_7"},{"key":"21_CR19","unstructured":"Daca, P., Henzinger, T.A., Kret\u00ednsk\u00fd, J., Petrov, T.: Linear distances between Markov chains. In: CONCUR, volume 59 of LIPIcs, pp. 20:1\u201320:15. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: Lightweight statistical model checking in nondeterministic continuous time. In: ISoLA (2), volume 11245 of Lecture Notes in Computer Science, pp. 336\u2013353. Springer (2018)","DOI":"10.1007\/978-3-030-03421-4_22"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"David, A., et al.: Statistical model checking for networks of priced timed automata. In: FORMATS (2011)","DOI":"10.1007\/978-3-642-24310-3_7"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Wang, Z.: Time for statistical model checking of real-time systems. In: CAV, pp. 349\u2013355 (2011)","DOI":"10.1007\/978-3-642-22110-1_27"},{"issue":"4","key":"21_CR23","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10009-015-0383-0","volume":"17","author":"P D\u2019Argenio","year":"2015","unstructured":"D\u2019Argenio, P., Legay, A., Sedwards, S., Traonouez, L.-M.: Smart sampling for lightweight verification of Markov decision processes. STTT 17(4), 469\u2013484 (2015)","journal-title":"STTT"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Ellen, C., Gerwinn, S., Fr\u00e4nzle, M.: Confidence bounds for statistical model checking of probabilistic hybrid systems. In: FORMATS, pp. 123\u2013138 (2012)","DOI":"10.1007\/978-3-642-33365-1_10"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp. 342\u2013351. IEEE (2010)","DOI":"10.1109\/LICS.2010.41"},{"key":"21_CR26","unstructured":"Jie, F., Topcu, U.: Probably approximately correct MDP learning and control with temporal logic constraints. Science and Systems, In Robotics (2014)"},{"key":"21_CR27","unstructured":"Ghosh, A.K., O\u2019Connor, T., McGraw, G.: An automated approach for identifying potential vulnerabilities in software. In: Proceedings. 1998 IEEE symposium on security and privacy (Cat. No. 98CB36186), pp. 104\u2013114. IEEE (1998)"},{"key":"21_CR28","unstructured":"Hasanbeig, M., Abate, A., Kroening, D.: Logically-correct reinforcement learning. CoRR arxiv preprint arxiv: abs\/1801.08099 (2018)"},{"key":"21_CR29","unstructured":"Hasanbeig, M., Abate, A., Kroening, D.: Certified reinforcement learning with logic guidance. CoRR arxiv preprint arxiv: abs\/1902.00778 (2019)"},{"key":"21_CR30","unstructured":"Hartmanns, A.: MODEST - A unified language for quantitative models. In: FDL, pp. 44\u201351. IEEE (2012)"},{"key":"21_CR31","unstructured":"Hartmanns, A., D\u2019Argenio, P., Budde, C.E., Budde, C.E.: Digging for decision trees: a case study in strategy sampling and learning. In: Steffen, Bernhard, (eds.) TODO-Booktitle, volume in this volume. Springer (2024)"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Hermanns, H., Hartmanns, A.: An internet inspired approach to power grid stability\/internet-konzepte f\u00fcr stromnetzstabilit\u00e4t. it-Information Technology, 55(2), 45\u201351 (2013)","DOI":"10.1524\/itit.2013.0006"},{"key":"21_CR33","doi-asserted-by":"crossref","unstructured":"He, R., Jennings, P., Basu, S., Ghosh, A.P., Wu, H.: A bounded statistical approach for model checking of unbounded until properties. In: ASE, pp. 225\u2013234 (2010)","DOI":"10.1145\/1858996.1859043"},{"issue":"4","key":"21_CR34","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s10009-021-00633-z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J.-P., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transf. 24(4), 589\u2013610 (2022)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"21_CR35","doi-asserted-by":"crossref","unstructured":"Hartmanns, A., Klauck, M.: The modest state of learning, sampling, and verifying strategies. In: ISoLA (3), volume 13703 of Lecture Notes in Computer Science, pp. 406\u2013432. Springer (2022)","DOI":"10.1007\/978-3-031-19759-8_25"},{"key":"21_CR36","doi-asserted-by":"crossref","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: VMCAI, pp. 73\u201384 (2004)","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"21_CR37","doi-asserted-by":"crossref","unstructured":"Henriques, D., Martins, J., Zuliani, P., Platzer, A., Clarke, E.M.: Statistical model checking for Markov decision processes. In: QEST, pp. 84\u201393 (2012)","DOI":"10.1109\/QEST.2012.19"},{"key":"21_CR38","doi-asserted-by":"crossref","unstructured":"Hahn, E.M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., Wojtczak, D.: Omega-regular objectives in model-free reinforcement learning. In: TACAS (1), pp. 395\u2013412 (2019)","DOI":"10.1007\/978-3-030-17462-0_27"},{"key":"21_CR39","doi-asserted-by":"crossref","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian approach to model checking biological systems. In: CMSB, pp. 218\u2013234 (2009)","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"21_CR40","doi-asserted-by":"crossref","unstructured":"J\u00e9gourel, C., Legay, A., Sedwards, S.: A platform for high performance statistical model checking - PLASMA. In: TACAS, pp. 498\u2013503 (2012)","DOI":"10.1007\/978-3-642-28756-5_37"},{"key":"21_CR41","doi-asserted-by":"crossref","unstructured":"Jaeger, M., Larsen, K.: Reinforcement learning for discretized Euclidean MDPs. In: Steffen, Bernhard, editor, TODO-Booktitle, volume in this volume. Springer (2024)","DOI":"10.1007\/978-3-031-75434-0_22"},{"key":"21_CR42","doi-asserted-by":"crossref","unstructured":"J\u00e9gourel, C., Sun, J., Dong, J.S.: On the sequential massart algorithm for statistical model checking. In: ISoLA (2), volume 11245 of Lecture Notes in Computer Science, pp. 287\u2013304. Springer (2018))","DOI":"10.1007\/978-3-030-03421-4_19"},{"key":"21_CR43","doi-asserted-by":"crossref","unstructured":"Kim, Y., et al.: Flipping bits in memory without accessing them: an experimental study of dram disturbance errors. ACM SIGARCH Comput. Architecture News 42(3), 361\u2013372 (2014)","DOI":"10.1145\/2678373.2665726"},{"key":"21_CR44","doi-asserted-by":"crossref","unstructured":"Kazil, J., Masad, D., Crooks, A.T.: Utilizing python for agent-based modeling: the mesa framework. In: Thomson, R., Bisgin, H., Dancy, C.L., Hyder, A., Hussain, M., (eds.) Social, Cultural, and Behavioral Modeling - 13th International Conference, SBP-BRiMS 2020, Washington, DC, USA, October 18\u201321, 2020, Proceedings, volume 12268 of Lecture Notes in Computer Science, pp. 308\u2013317. Springer (2020)","DOI":"10.1007\/978-3-030-61255-9_30"},{"key":"21_CR45","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Prism 4.0: Verification of probabilistic real-time systems. In: CAV, pp. 585\u2013591 (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"21_CR46","doi-asserted-by":"crossref","unstructured":"Kret\u00ednsk\u00fd, J.: Survey of statistical verification of linear unbounded properties: Model checking and distances. In: ISoLA (1), volume 9952 of Lecture Notes in Computer Science, pp. 27\u201345 (2016)","DOI":"10.1007\/978-3-319-47166-2_3"},{"key":"21_CR47","doi-asserted-by":"crossref","unstructured":"Larsen, K.G.: Statistical model checking, refinement checking, optimization, ... for stochastic hybrid systems. In: FORMATS, pp. 7\u201310 (2012)","DOI":"10.1007\/978-3-642-33365-1_2"},{"key":"21_CR48","unstructured":"Larsen, K.G.: Priced timed automata and statistical model checking. In: IFM (2013)"},{"issue":"1\u20133","key":"21_CR49","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.apal.2007.11.006","volume":"152","author":"R Lassaigne","year":"2008","unstructured":"Lassaigne, R., Peyronnet, S.: Probabilistic verification and approximation. Ann. Pure Appl. Logic 152(1\u20133), 122\u2013131 (2008)","journal-title":"Ann. Pure Appl. Logic"},{"key":"21_CR50","doi-asserted-by":"crossref","unstructured":"Lassaigne, R., Peyronnet, S.: Approximate planning and verification for large Markov decision processes. In: SAC, pp. 1314\u20131319 (2012)","DOI":"10.1145\/2245276.2231984"},{"key":"21_CR51","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transfer 1, 134\u2013152 (1997)","DOI":"10.1007\/s100090050010"},{"key":"21_CR52","doi-asserted-by":"crossref","unstructured":"Legay, A., Parmentier, M.: Adaptive stopping algorithms based on concentration inequalities. In: Steffen, Bernhard, editor, TODO-Booktitle, volume in this volume. Springer (2024)","DOI":"10.1007\/978-3-031-75434-0_23"},{"key":"21_CR53","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. In: POPL, pp. 344\u2013352. ACM Press (1989)","DOI":"10.1145\/75277.75307"},{"key":"21_CR54","doi-asserted-by":"crossref","unstructured":"Legay, A., Sedwards, S., Traonouez, L.M.: Scalable verification of markov decision processes. In: SEFM, pp. 350\u2013362 (2014)","DOI":"10.1007\/978-3-319-15201-1_23"},{"key":"21_CR55","doi-asserted-by":"crossref","unstructured":"Mnih, V., Szepesv\u00e1ri, C., Audibert, J.Y.: Empirical bernstein stopping. In: Proceedings of the 25th International Conference on Machine Learning, pp. 672\u2013679 (2008)","DOI":"10.1145\/1390156.1390241"},{"key":"21_CR56","doi-asserted-by":"crossref","unstructured":"Norris, J.R.: Markov chains. Cambridge University Press (1998)","DOI":"10.1017\/CBO9780511810633"},{"key":"21_CR57","doi-asserted-by":"crossref","unstructured":"Palaniappan, S.K.., Gyori, B.M., Liu, B., Hsu, D., Thiagarajan, P.S.: Statistical model checking based calibration and analysis of bio-pathway models. In: CMSB, pp. 120\u2013134 (2013)","DOI":"10.1007\/978-3-642-40708-6_10"},{"key":"21_CR58","doi-asserted-by":"crossref","unstructured":"Palmas, M., Klauck, M., Lampacrescia, M.: Towards verifying robotic systems using statistical model checking in STORM. In: Steffen, Bernhard, editor, TODO-Booktitle, volume in this volume. Springer (2024)","DOI":"10.1007\/978-3-031-75434-0_28"},{"key":"21_CR59","unstructured":"Puterman, M.L.: Markov decision processes: Discrete stochastic dynamic programming. John Wiley & Sons (2014)"},{"key":"21_CR60","unstructured":"Sutton,R.S., Barto, A.G.: Reinforcement Learning: An Introduction. MIT press (2018)"},{"key":"21_CR61","doi-asserted-by":"crossref","unstructured":"Sadigh, D., Kim, E.S., Coogan, S., Sastry, S.S., Seshia, S.A.: A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications. In: CDC, pp. 1091\u20131096 (2014)","DOI":"10.1109\/CDC.2014.7039527"},{"key":"21_CR62","doi-asserted-by":"crossref","unstructured":"Strnadel, J., Lojda, J., Smr\u017e, P., \u0160imek, V.: On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. In: Steffen, Bernhard, editor, TODO-Booktitle, volume in this volume. Springer (2024)","DOI":"10.1007\/978-3-031-75434-0_27"},{"key":"21_CR63","doi-asserted-by":"crossref","unstructured":"Strehl, A.L., Li, L., Wiewiora, E., Langford, J., Littman, M.L.: PAC model-free reinforcement learning. In: ICML, pp. 881\u2013888 (2006)","DOI":"10.1145\/1143844.1143955"},{"key":"21_CR64","unstructured":"Sebastio, S., Vandin, A.: Multivesta: statistical model checking for discrete event simulators (2013)"},{"key":"21_CR65","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: CAV, pp. 266\u2013280 (2005)","DOI":"10.1007\/11513988_26"},{"key":"21_CR66","doi-asserted-by":"crossref","unstructured":"Vandin, A.: Statistical model checking of python agent-based models: an integration of MultiVeStA and Mesa. In: Steffen, Bernhard, editor, TODO-Booktitle, volume in this volume. Springer (2024)","DOI":"10.1007\/978-3-031-75434-0_26"},{"key":"21_CR67","doi-asserted-by":"crossref","unstructured":"Christopher JCH Watkins and Peter Dayan: Q-learning. Machine learning 8, 279\u2013292 (1992)","DOI":"10.1023\/A:1022676722315"},{"key":"21_CR68","doi-asserted-by":"crossref","unstructured":"Younes, H.L.S., Clarke, E.M., Zuliani, P.: Statistical verification of probabilistic properties with unbounded until. In: SBMF, pp. 144\u2013160 (2010)","DOI":"10.1007\/978-3-642-19829-8_10"},{"key":"21_CR69","doi-asserted-by":"crossref","unstructured":"H\u00e5kan LS Younes. Ymer: a statistical model checker. In: International Conference on Computer Aided Verification, pp. 429\u2013433. Springer (2005)","DOI":"10.1007\/11513988_43"},{"key":"21_CR70","doi-asserted-by":"crossref","unstructured":"Younes, H., Simmons, R.: Probabilistic verification of discrete event systems using acceptance sampling. In: CAV, pp. 223\u2013235 (2002)","DOI":"10.1007\/3-540-45657-0_17"},{"key":"21_CR71","doi-asserted-by":"crossref","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to simulink\/stateflow verification. In: HSCC, pp. 243\u2013252 (2010)","DOI":"10.1145\/1755952.1755987"},{"key":"21_CR72","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s10009-014-0343-0","volume":"17","author":"P Zuliani","year":"2015","unstructured":"Zuliani, P.: Statistical model checking for biological applications. Int. J. Softw. Tools Technol. Transfer 17, 527\u2013536 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75434-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T10:03:38Z","timestamp":1735466618000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75434-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,30]]},"ISBN":["9783031754333","9783031754340"],"references-count":72,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75434-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,12,30]]},"assertion":[{"value":"30 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}