{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T12:12:14Z","timestamp":1781007134847,"version":"3.54.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031954962","type":"print"},{"value":"9783031954979","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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-95497-9_7","type":"book-chapter","created":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T13:15:35Z","timestamp":1749906935000},"page":"114-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Safety Verification of\u00a0Distributed Systems: A Statistical Approach for\u00a0Monitoring"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1371-2803","authenticated-orcid":false,"given":"Bineet","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8473-9555","authenticated-orcid":false,"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"7_CR1","unstructured":"Jet Model, https:\/\/ths.rwth-aachen.de\/research\/projects\/hypro\/benchmarks-of-continuous-and-hybrid-systems\/"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: CDC. pp. 4042\u20134048. IEEE (2008). https:\/\/doi.org\/10.1109\/CDC.2008.4738704","DOI":"10.1109\/CDC.2008.4738704"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Andr\u00e9, \u00c9., Coquard, E., Fribourg, L., Jerray, J., Lesens, D.: Parametric schedulability analysis of a launcher flight control system under reactivity constraints. FI 182(1), 31\u201367 (Sep 2021). https:\/\/doi.org\/10.3233\/FI-2021-2065","DOI":"10.3233\/FI-2021-2065"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Ashok, P., Kret\u00ednsk\u00fd, J., Weininger, M.: PAC statistical model checking for markov decision processes and stochastic games. In: Dillig, I., Tasiran, S. (eds.) CAV, Part\u00a0I. LNCS, vol. 11561, pp. 497\u2013519. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_29","DOI":"10.1007\/978-3-030-25540-4_29"},{"issue":"8","key":"7_CR5","doi-asserted-by":"publisher","first-page":"2163","DOI":"10.1016\/J.AUTOMATICA.2007.12.012","volume":"44","author":"EM Aylward","year":"2008","unstructured":"Aylward, E.M., Parrilo, P.A., Slotine, J.: Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming. Automatica 44(8), 2163\u20132170 (2008). https:\/\/doi.org\/10.1016\/J.AUTOMATICA.2007.12.012","journal-title":"Automatica"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Bakhirkin, A., Ferr\u00e8re, T., Nickovic, D., Maler, O., Asarin, E.: Online timed pattern matching using automata. In: Jansen, D.N., Pavithra, P. (eds.) FORMATS. LNCS, vol. 11022, pp. 215\u2013232. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-00151-3_13","DOI":"10.1007\/978-3-030-00151-3_13"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Deshmukh, J.V., Donz\u00e9, A., Fainekos, G.E., Maler, O., Nickovic, D., Sankaranarayanan, S.: Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification \u2013 Introductory and Advanced Topics, LNCS, vol. 10457, pp. 135\u2013175. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_5","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Basin, D.A., Klaedtke, F., Zalinescu, E.: The MonPoly monitoring tool. In: Reger, G., Havelund, K. (eds.) RV-CuBES. Kalpa Publications in Computing, vol.\u00a03, pp. 19\u201328. EasyChair (2017)","DOI":"10.29007\/89hs"},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"JR Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: $$10^{20}$$ states and beyond. Inf. Comput. 98(2), 142\u2013170 (1992). https:\/\/doi.org\/10.1016\/0890-5401(92)90017-A","journal-title":"Inf. Comput."},{"issue":"5","key":"7_CR10","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TAC.2006.875041","volume":"51","author":"GC Calafiore","year":"2006","unstructured":"Calafiore, G.C., Campi, M.C.: The scenario approach to robust control design. IEEE Trans. Autom. Control 51(5), 742\u2013753 (2006). https:\/\/doi.org\/10.1109\/TAC.2006.875041","journal-title":"IEEE Trans. Autom. Control"},{"key":"7_CR11","doi-asserted-by":"publisher","unstructured":"Chen, Y., Hsieh, C., Leng\u00e1l, O., Lii, T., Tsai, M., Wang, B., Wang, F.: PAC learning-based verification and model synthesis. In: Dillon, L.K., Visser, W., Williams, L.A. (eds.) ICSE. pp. 714\u2013724. ACM (2016). https:\/\/doi.org\/10.1145\/2884781.2884860","DOI":"10.1145\/2884781.2884860"},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Clarke, E.M., Zuliani, P.: Statistical model checking for cyber-physical systems. In: Bultan, T., Hsiung, P.A. (eds.) ATVA. LNCS, vol.\u00a06996, pp. 1\u201312. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-24372-1_1","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Diwakaran, R.D., Sankaranarayanan, S., Trivedi, A.: Analyzing neighborhoods of falsifying traces in cyber-physical systems. In: Mart\u00ednez, S., Tovar, E., Gill, C., Sinopoli, B. (eds.) ICCPS. pp. 109\u2013119. ACM (2017). https:\/\/doi.org\/10.1145\/3055004.3055029","DOI":"10.1145\/3055004.3055029"},{"key":"7_CR14","doi-asserted-by":"publisher","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Sharygina, N., Veith, H. (eds.) CAV. LNCS, vol.\u00a08044, pp. 264\u2013279. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_19","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"7_CR15","doi-asserted-by":"publisher","unstructured":"Ghosh, B., Andr\u00e9, \u00c9.: Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model. LMCS 20(1), 2:1\u20132:33 (Jan 2023). https:\/\/doi.org\/10.46298\/lmcs-20(1:2)2024","DOI":"10.46298\/lmcs-20(1:2)2024"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Ghosh, B., Hobbs, C., Xu, S., Duggirala, P.S., Anderson, J.H., Thiagarajan, P.S., Chakraborty, S.: Statistical hypothesis testing of controller implementations under timing uncertainties. In: RTCSA. pp. 11\u201320. IEEE (2022). https:\/\/doi.org\/10.1109\/RTCSA55878.2022.00008","DOI":"10.1109\/RTCSA55878.2022.00008"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Ivanov, R., Weimer, J., Alur, R., Pappas, G.J., Lee, I.: Verisig: Verifying safety properties of hybrid systems with neural network controllers. In: Ozay, N., Prabhakar, P. (eds.) HSCC. pp. 169\u2013178. ACM (2019). https:\/\/doi.org\/10.1145\/3302504.3311806","DOI":"10.1145\/3302504.3311806"},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10703-018-0319-x","volume":"53","author":"S Jak\u0161i\u0107","year":"2018","unstructured":"Jak\u0161i\u0107, S., Bartocci, E., Grosu, R., Nguyen, T., Ni\u010dkovi\u0107, D.: Quantitative monitoring of STL with edit distance. Formal Methods in System Design 53(1), 83\u2013112 (2018). https:\/\/doi.org\/10.1007\/s10703-018-0319-x","journal-title":"Formal Methods in System Design"},{"key":"7_CR19","doi-asserted-by":"publisher","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: Degano, P., Gorrieri, R. (eds.) CMSB. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-03845-7_15","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Kaivola, R., Ghughal, R., Narasimhan, N., Telfer, A., Whittemore, J., Pandav, S., Slobodov\u00e1, A., Taylor, C., Frolov, V.A., Reeber, E., Naik, A.: Replacing testing with formal verification in Intel CoreTM i7 processor execution engine validation. In: Bouajjani, A., Maler, O. (eds.) CAV. LNCS, vol.\u00a05643, pp. 414\u2013429. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_32","DOI":"10.1007\/978-3-642-02658-4_32"},{"issue":"430","key":"7_CR21","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1080\/01621459.1995.10476572","volume":"90","author":"R Kass","year":"1995","unstructured":"Kass, R., Raftery, A.: Bayes factors. J. Am. Stat. Assoc. 90(430), 773\u2013795 (1995)","journal-title":"J. Am. Stat. Assoc."},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Lorber, F., Nielsen, B.: 20 years of UPPAAL enabled industrial model-based validation and beyond. In: Margaria, T., Steffen, B. (eds.) ISoLA, Part\u00a0IV. LNCS, vol. 11247, pp. 212\u2013229. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_18","DOI":"10.1007\/978-3-030-03427-6_18"},{"key":"7_CR23","doi-asserted-by":"publisher","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: An overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G.J., Rosu, G., Sokolsky, O., Tillmann, N. (eds.) RV. LNCS, vol.\u00a06418, pp. 122\u2013135. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"7_CR24","doi-asserted-by":"publisher","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS and FTRTFT. LNCS, vol.\u00a03253, pp. 152\u2013166. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"7_CR25","doi-asserted-by":"publisher","unstructured":"Mamouras, K., Chattopadhyay, A., Wang, Z.: A compositional framework for quantitative online monitoring over continuous-time signals. In: Feng, L., Fisman, D. (eds.) RV. LNCS, vol. 12974, pp. 142\u2013163. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_8","DOI":"10.1007\/978-3-030-88494-9_8"},{"key":"7_CR26","unstructured":"Park, S., Bastani, O., Matni, N., Lee, I.: PAC confidence sets for deep neural networks via calibrated prediction. In: ICLR. OpenReview.net (2020), https:\/\/openreview.net\/forum?id=BJxVI04YvB"},{"key":"7_CR27","doi-asserted-by":"publisher","unstructured":"Roohi, N., Wang, Y., West, M., Dullerud, G.E., Viswanathan, M.: Statistical verification of the Toyota powertrain control verification benchmark. In: Frehse, G., Mitra, S. (eds.) HSCC. pp. 65\u201370. ACM (2017). https:\/\/doi.org\/10.1145\/3049797.3049804","DOI":"10.1145\/3049797.3049804"},{"key":"7_CR28","doi-asserted-by":"publisher","unstructured":"Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV. LNCS, vol.\u00a03576, pp. 266\u2013280. Springer (2005). https:\/\/doi.org\/10.1007\/11513988_26","DOI":"10.1007\/11513988_26"},{"key":"7_CR29","doi-asserted-by":"publisher","unstructured":"Waga, M., Akazaki, T., Hasuo, I.: A Boyer-Moore type algorithm for timed pattern matching. In: Fr\u00e4nzle, M., Markey, N. (eds.) FORMATS. LNCS, vol.\u00a09884, pp. 121\u2013139. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-44878-7_8","DOI":"10.1007\/978-3-319-44878-7_8"},{"key":"7_CR30","doi-asserted-by":"publisher","unstructured":"Waga, M., Andr\u00e9, \u00c9., Hasuo, I.: Model-bounded monitoring of hybrid systems. ACM Transactions on Cyber-Physical Systems 6(4), 30:1\u201330:26 (Nov 2022). https:\/\/doi.org\/10.1145\/3529095","DOI":"10.1145\/3529095"},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1109\/OJCSYS.2022.3207108","volume":"1","author":"Y Wang","year":"2022","unstructured":"Wang, Y., Sibai, H., Yen, M., Mitra, S., Dullerud, G.E.: Differentially private algorithms for statistical verification of cyber-physical systems. IEEE Open Journal of Control Systems 1, 294\u2013305 (2022). https:\/\/doi.org\/10.1109\/OJCSYS.2022.3207108","journal-title":"IEEE Open Journal of Control Systems"},{"key":"7_CR32","doi-asserted-by":"publisher","unstructured":"Xue, B., Liu, Y., Ma, L., Zhang, X., Sun, M., Xie, X.: Safe inputs approximation for black-box systems. In: Pang, J., Sun, J. (eds.) ICECCS. pp. 180\u2013189. IEEE (2019). https:\/\/doi.org\/10.1109\/ICECCS.2019.00027","DOI":"10.1109\/ICECCS.2019.00027"},{"issue":"11","key":"7_CR33","doi-asserted-by":"publisher","first-page":"3944","DOI":"10.1109\/TCAD.2020.3012251","volume":"39","author":"B Xue","year":"2020","unstructured":"Xue, B., Zhang, M., Easwaran, A., Li, Q.: PAC model checking of black-box continuous-time dynamical systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11), 3944\u20133955 (2020). https:\/\/doi.org\/10.1109\/TCAD.2020.3012251","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"7_CR34","doi-asserted-by":"publisher","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV. LNCS, vol.\u00a02404, pp. 223\u2013235. Springer (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_17","DOI":"10.1007\/3-540-45657-0_17"},{"key":"7_CR35","doi-asserted-by":"publisher","unstructured":"Zarei, M., Wang, Y., Pajic, M.: Statistical verification of learning-based cyber-physical systems. In: Ames, A.D., Seshia, S.A., Deshmukh, J. (eds.) HSCC. pp. 12:1\u201312:7. ACM (2020). https:\/\/doi.org\/10.1145\/3365365.3382209","DOI":"10.1145\/3365365.3382209"},{"key":"7_CR36","doi-asserted-by":"publisher","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to simulink\/stateflow verification. In: HSCC. p. 243-252. Association for Computing Machinery, New York, NY, USA (2010). https:\/\/doi.org\/10.1145\/1755952.1755987","DOI":"10.1145\/1755952.1755987"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-95497-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:43:35Z","timestamp":1757454215000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-95497-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031954962","9783031954979"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-95497-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"11 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}