{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:17:26Z","timestamp":1743117446031,"version":"3.40.3"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031681493"},{"type":"electronic","value":"9783031681509"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-68150-9_12","type":"book-chapter","created":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:22Z","timestamp":1724155342000},"page":"201-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Unifying Syntactic and\u00a0Semantic Abstractions for\u00a0Deep Neural Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-2665-3508","authenticated-orcid":false,"given":"Sanaa","family":"Siddiqui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0814-3094","authenticated-orcid":false,"given":"Diganta","family":"Mukhopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6173-3959","authenticated-orcid":false,"given":"Mohammad","family":"Afzal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9132-8356","authenticated-orcid":false,"given":"Hrishikesh","family":"Karmarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5686-9758","authenticated-orcid":false,"given":"Kumar","family":"Madhukar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","unstructured":"Ashok, P., Hashemi, V., K\u0159et\u00ednsk\u00fd, J., Mohr, S.: DeepAbstract: neural network abstraction for accelerating verification. In: Hung, D.V., Sokolsky, O. (eds.) Automated Technology for Verification and Analysis. ATVA 2020. LNCS, vol. 12302, pp. 92\u2013107. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_5","DOI":"10.1007\/978-3-030-59152-6_5"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Bassan, S., Katz, G.: Towards formal XAI: formally approximate minimal explanations of neural networks. In: Sankaranarayanan, S., Sharygina, N. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. LNCS, vol. 13993, pp. 187\u2013207. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-30823-9_10","DOI":"10.1007\/978-3-031-30823-9_10"},{"key":"12_CR3","unstructured":"Bojarski, M., et al.: End to end learning for self-driving cars. CoRR abs\/1604.07316 (2016)"},{"key":"12_CR4","unstructured":"Bunel, R., Lu, J., Turkaslan, I., Torr, P.H.S., Kohli, P., Kumar, M.P.: Branch and bound for piecewise linear neural network verification. J. Mach. Learn. Res. 21, 42:1\u201342:39 (2020)"},{"key":"12_CR5","unstructured":"Carlini, N., Katz, G., Barrett, C., Dill, D.L.: Provably minimally-distorted adversarial examples (2018)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Carlini, N., Wagner, D.A.: Towards evaluating the robustness of neural networks. In: 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, 22\u201326 May 2017, pp. 39\u201357. IEEE Computer Society (2017)","DOI":"10.1109\/SP.2017.49"},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Chau, C., Kret\u00ednsk\u00fd, J., Mohr, S.: Syntactic vs semantic linear abstraction and refinement of neural networks. In: Andr\u00e9, \u00c9., Sun, J. (eds.) Automated Technology for Verification and Analysis. ATVA 2023. LNCS, vol. 14215, pp. 401\u2013421. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-45329-8_19","DOI":"10.1007\/978-3-031-45329-8_19"},{"key":"12_CR8","unstructured":"Chauhan, A., Afzal, M., Karmarkar, H., Elboher, Y., Madhukar, K., Katz, G.: Efficiently finding adversarial examples with dnn preprocessing (2022)"},{"key":"12_CR9","unstructured":"Chen, X., Liu, C., Li, B., Lu, K., Song, D.: Targeted backdoor attacks on deep learning systems using data poisoning. CoRR abs\/1712.05526 (2017)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Cheng, C., N\u00fchrenberg, G., Ruess, H.: Maximum resilience of artificial neural networks. CoRR abs\/1705.01040 (2017)","DOI":"10.1007\/978-3-319-68167-2_18"},{"key":"12_CR11","unstructured":"Cheng, Y., Wang, D., Zhou, P., Zhang, T.: A survey of model compression and acceleration for deep neural networks. CoRR abs\/1710.09282 (2017)"},{"issue":"5","key":"12_CR12","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/876638.876643","volume":"50","author":"EM Clarke","year":"2003","unstructured":"Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5), 752\u2013794 (2003)","journal-title":"J. ACM"},{"key":"12_CR13","unstructured":"Cohen, E., Elboher, Y.Y., Barrett, C.W., Katz, G.: Tighter abstract queries in neural network verification. In: Piskac, R., Voronkov, A. (eds.) LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4\u20139th June 2023. EPiC Series in Computing, vol. 94, pp. 124\u2013143. EasyChair (2023)"},{"key":"12_CR14","doi-asserted-by":"publisher","unstructured":"Dantzig, G.B.: Linear Programming and Extensions. RAND Corporation, Santa Monica, CA (1963). https:\/\/doi.org\/10.7249\/R366","DOI":"10.7249\/R366"},{"issue":"3","key":"12_CR15","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MITP.2021.3073665","volume":"23","author":"GR Djavanshir","year":"2021","unstructured":"Djavanshir, G.R., Chen, X., Yang, W.: A review of artificial intelligence\u2019s neural networks (deep learning) applications in medical diagnosis and prediction. IT Professional 23(3), 58\u201362 (2021)","journal-title":"IT Professional"},{"key":"12_CR16","unstructured":"Duong, H., Nguyen, T., Dwyer, M.: A DPLL(T) framework for verifying deep neural networks (2024)"},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Dutta, S., Jha, S., Sankaranarayanan, S., Tiwari, A.: Output range analysis for deep feedforward neural networks. in: Dutle, A., Mu\u00f1oz, C., Narkawicz, A. (eds.) NASA Formal Methods. NFM 2018. LNCS, vol. 10811, pp. 121\u2013138. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-77935-5_9","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"12_CR18","unstructured":"Dvijotham, K., Stanforth, R., Gowal, S., Mann, T.A., Kohli, P.: A dual approach to scalable verification of deep networks. In: Globerson, A., Silva, R. (eds.) Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018, Monterey, California, USA, 6\u201310 August 2018, pp. 550\u2013559. AUAI Press (2018)"},{"key":"12_CR19","doi-asserted-by":"publisher","unstructured":"Ehlers, R.: Formal verification of piece-wise linear feed-forward neural networks. In: D\u2019Souza, D., Narayan Kumar, K. (eds.) Automated Technology for Verification and Analysis. ATVA 2017. LNCS, vol. 10482, pp. 269\u2013286. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68167-2_19","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"12_CR20","doi-asserted-by":"publisher","unstructured":"Elboher, Y.Y., Gottschlich, J., Katz, G.: An abstraction-based framework for neural network verification. In: Lahiri, S., Wang, C. (eds.) Computer Aided Verification. CAV 2020. LNCS, vol. 12224, pp. 43\u201365. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_3","DOI":"10.1007\/978-3-030-53288-8_3"},{"issue":"3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/s10601-018-9285-6","volume":"23","author":"M Fischetti","year":"2018","unstructured":"Fischetti, M., Jo, J.: Deep neural networks and mixed integer linear optimization. Constraints Int. J. 23(3), 296\u2013309 (2018)","journal-title":"Constraints Int. J."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.T.: AI2: safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21\u201323 May 2018, San Francisco, California, USA, pp. 3\u201318. IEEE Computer Society (2018)","DOI":"10.1109\/SP.2018.00058"},{"key":"12_CR23","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. In: Bengio, Y., LeCun, Y. (eds.) 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, 7\u20139 May 2015, Conference Track Proceedings (2015)"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Ward Jr, J.H.: Hierarchical grouping to optimize an objective function. J. Am. Stat. Assoc. 58(301), 236\u2013244 (1963)","DOI":"10.1080\/01621459.1963.10500845"},{"key":"12_CR25","doi-asserted-by":"publisher","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) Computer Aided Verification. CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Katz, G., et al.: The marabou framework for verification and analysis of deep neural networks. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification. CAV 2019. LNCS, vol. 11561, pp. 443\u2013452. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_26","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"12_CR27","unstructured":"Kurakin, A., Goodfellow, I.J., Bengio, S.: Adversarial examples in the physical world. In: 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, 24\u201326 April 2017, Workshop Track Proceedings. OpenReview.net (2017)"},{"key":"12_CR28","unstructured":"Liu, J., Xing, Y., Shi, X., Song, F., Xu, Z., Ming, Z.: Abstraction and refinement: towards scalable and exact verification of neural networks (2022)"},{"key":"12_CR29","doi-asserted-by":"publisher","unstructured":"Liu, J., Xing, Y., Shi, X., Song, F., Xu, Z., Ming, Z.: Abstraction and refinement: towards scalable and exact verification of neural networks. ACM Trans. Softw. Eng. Methodol. (2024). https:\/\/doi.org\/10.1145\/3644387","DOI":"10.1145\/3644387"},{"key":"12_CR30","unstructured":"Lomuscio, A., Maganti, L.: An approach to reachability analysis for feed-forward relu neural networks. CoRR abs\/1706.07351 (2017). http:\/\/arxiv.org\/abs\/1706.07351"},{"key":"12_CR31","unstructured":"Mangal, A., Kalia, S., Rajgopal, H., Rangarajan, K., Namboodiri, V.P., Banerjee, S., Arora, C.: Covidaid: COVID-19 detection using chest x-ray. CoRR abs\/2004.09803 (2020)"},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J., Ignatiev, A.: Delivering trustworthy AI through formal XAI. In: Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22\u20131 March 2022, pp. 12342\u201312350. AAAI Press (2022)","DOI":"10.1609\/aaai.v36i11.21499"},{"key":"12_CR33","doi-asserted-by":"crossref","unstructured":"Moosavi-Dezfooli, S., Fawzi, A., Frossard, P.: Deepfool: a simple and accurate method to fool deep neural networks. In: 2016 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2016, Las Vegas, NV, USA, 27\u201330 June 2016, pp. 2574\u20132582. IEEE Computer Society (2016)","DOI":"10.1109\/CVPR.2016.282"},{"key":"12_CR34","doi-asserted-by":"publisher","unstructured":"Neider, D., Johnson, T.T.: Track C1: safety verification of deep neural networks (DNNs). In: Steffen, B. (eds.) Bridging the Gap Between AI and Reality. AISoLA 2023. LNCS, vol. 14380, pp. 217\u2013224. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_12","DOI":"10.1007\/978-3-031-46002-9_12"},{"key":"12_CR35","doi-asserted-by":"publisher","unstructured":"Ostrovsky, M., Barrett, C., Katz, G.: An abstraction-refinement approach to verifying convolutional neural networks. In: Bouajjani, A., Hol\u00edk, L., Wu, Z. (eds.) Automated Technology for Verification and Analysis. ATVA 2022. LNCS, vol 13505. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_25Ostrovsky, M., Barrett, C., Katz, G.: An abstraction-refinement approach to verifying convolutional neural networks. In: Bouajjani, A., Hol\u00edk, L., Wu, Z. (eds.) Automated Technology for Verification and Analysis. ATVA 2022. LNCS, vol. 13505, pp. 391\u2013396. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_25","DOI":"10.1007\/978-3-031-19992-9_25 10.1007\/978-3-031-19992-9_25"},{"key":"12_CR36","doi-asserted-by":"publisher","unstructured":"Owen, M.P., Panken, A., Moss, R., Alvarez, L., Leeper, C.: ACAS XU: integrated collision avoidance and detect and avoid capability for UAS. In: 2019 IEEE\/AIAA 38th Digital Avionics Systems Conference (DASC), pp. 1\u201310 (2019). https:\/\/doi.org\/10.1109\/DASC43569.2019.9081758","DOI":"10.1109\/DASC43569.2019.9081758"},{"key":"12_CR37","unstructured":"Palma, A.D., et al.: Improved branch and bound for neural network verification via lagrangian decomposition. CoRR abs\/2104.06718 (2021)"},{"key":"12_CR38","doi-asserted-by":"publisher","unstructured":"Pham, L.H., Sun, J.: Verifying neural networks against backdoor attacks. In: Shoham, S., Vizel, Y. (eds.) Computer Aided Verification. CAV 2022. LNCS, vol. 13371, pp. 171\u2013192. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-13185-1_9","DOI":"10.1007\/978-3-031-13185-1_9"},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"Ruan, W., Huang, X., Kwiatkowska, M.: Reachability analysis of deep neural networks with provable guarantees. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 13\u201319 July 2018, Stockholm, Sweden, pp. 2651\u20132659. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/368"},{"key":"12_CR40","first-page":"9835","volume":"32","author":"H Salman","year":"2019","unstructured":"Salman, H., Yang, G., Zhang, H., Hsieh, C.J., Zhang, P.: A convex relaxation barrier to tight robustness verification of neural networks. Adv. Neural Inf. Process. Syst. 32, 9835\u20139846 (2019)","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"12_CR41","unstructured":"Shi, Z., Jin, Q., Kolter, J.Z., Jana, S., Hsieh, C.J., Zhang, H.: Formal verification for neural networks with general nonlinearities via branch-and-bound. In: 2nd Workshop on Formal Verification of Machine Learning (WFVML 2023) (2023)"},{"key":"12_CR42","unstructured":"Singh, G., Gehr, T., Mirman, M., P\u00fcschel, M., Vechev, M.T.: Fast and effective robustness certification. In: Bengio, S., Wallach, H.M., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3\u20138 December 2018, Montr\u00e9al, Canada, pp. 10825\u201310836 (2018)"},{"key":"12_CR43","doi-asserted-by":"crossref","unstructured":"Singh, G., Gehr, T., P\u00fcschel, M., Vechev, M.T.: An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3(POPL) 41, 1\u201341:30 (2019)","DOI":"10.1145\/3290354"},{"key":"12_CR44","unstructured":"Singh, G., Gehr, T., P\u00fcschel, M., Vechev, M.T.: Boosting robustness certification of neural networks. In: 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, 6\u20139 May 2019. OpenReview.net (2019)"},{"key":"12_CR45","unstructured":"Szegedy, C., et al.: Intriguing properties of neural networks. In: Bengio, Y., LeCun, Y. (eds.) 2nd International Conference on Learning Representations, ICLR 2014, Banff, AB, Canada, 14\u201316 April 2014, Conference Track Proceedings (2014)"},{"key":"12_CR46","unstructured":"Virmaux, A., Scaman, K.: Lipschitz regularity of deep neural networks: analysis and efficient estimation. In: Bengio, S., Wallach, H.M., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3\u20138 December 2018, Montr\u00e9al, Canada, pp. 3839\u20133848 (2018). https:\/\/proceedings.neurips.cc\/paper\/2018\/hash\/d54e99a6c03704e95e6965532dec148b-Abstract.html"},{"key":"12_CR47","unstructured":"Wang, S., et al.: Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification. In: Ranzato, M., Beygelzimer, A., Dauphin, Y.N., Liang, P., Vaughan, J.W. (eds.) Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, 6\u201314 December 2021, virtual, pp. 29909\u201329921 (2021)"},{"key":"12_CR48","doi-asserted-by":"crossref","unstructured":"Wu, H., et al.: Marabou 2.0: a versatile formal analyzer of neural networks. CoRR abs\/2401.14461 (2024)","DOI":"10.1007\/978-3-031-65630-9_13"},{"key":"12_CR49","unstructured":"Xu, K., et al.: Automatic perturbation analysis for scalable certified robustness and beyond. In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M., Lin, H. (eds.) Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, NeurIPS 2020, 6\u201312 December 2020, virtual (2020)"},{"key":"12_CR50","unstructured":"Xu, K., et al.: Fast and complete: enabling complete neural network verification with rapid and massively parallel incomplete verifiers. CoRR abs\/2011.13824 (2020)"},{"key":"12_CR51","unstructured":"Zhang, H., et al.: General cutting planes for bound-propagation-based neural network verification. Adv. Neural Inf. Process. Syst. (2022)"},{"key":"12_CR52","unstructured":"Zhang, H., Wang, S., Xu, K., Wang, Y., Jana, S., Hsieh, C.J., Kolter, Z.: A branch and bound framework for stronger adversarial attacks of ReLU networks. In: Proceedings of the 39th International Conference on Machine Learning, vol.\u00a0162, pp. 26591\u201326604 (2022)"},{"key":"12_CR53","unstructured":"Zhang, H., Weng, T., Chen, P., Hsieh, C., Daniel, L.: Efficient neural network robustness certification with general activation functions. In: Bengio, S., Wallach, H.M., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3\u20138 December 2018, Montr\u00e9al, Canada, pp. 4944\u20134953 (2018)"},{"key":"12_CR54","doi-asserted-by":"publisher","unstructured":"Zhao, Z., Zhang, Y., Chen, G., Song, F., Chen, T., Liu, J.: CLEVEREST: accelerating CEGAR-based Neural network verification via adversarial attacks. In: Singh, G., Urban, C. (eds.) Static Analysis. SAS 2022. LNCS, vol. 13790, pp. 449\u2013473. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-22308-2_20","DOI":"10.1007\/978-3-031-22308-2_20"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68150-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:04:01Z","timestamp":1724155441000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68150-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031681493","9783031681509"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68150-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}