{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:22:27Z","timestamp":1743060147167,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031460012"},{"type":"electronic","value":"9783031460029"}],"license":[{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"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-46002-9_21","type":"book-chapter","created":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:02:36Z","timestamp":1702483356000},"page":"331-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Empirical Analysis of\u00a0Benchmark Generation for\u00a0the\u00a0Verification of\u00a0Neural Network Image Classifiers"],"prefix":"10.1007","author":[{"given":"Diego","family":"Manzanas Lopez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,14]]},"reference":[{"unstructured":"apolanco3225: Medical mnist classification. https:\/\/github.com\/apolanco3225\/Medical-MNIST-Classification (2017)","key":"21_CR1"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-76384-8_2","volume-title":"NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24\u201328, 2021, Proceedings","author":"S Bak","year":"2021","unstructured":"Bak, S.: nnenum: verification of ReLU neural networks with optimized abstraction refinement. In: Dutle, A., Moscato, M.M., Titolo, L., Mu\u00f1oz, C.A., Perez, I. (eds.) NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24\u201328, 2021, Proceedings, pp. 19\u201336. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76384-8_2"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-319-63387-9_20","volume-title":"Computer Aided Verification","author":"S Bak","year":"2017","unstructured":"Bak, S., Duggirala, P.S.: Simulation-equivalent reachability of large linear systems with inputs. In: Majumdar, R., Kun\u010dak, V. (eds.) Computer Aided Verification, pp. 401\u2013420. Springer International Publishing, Cham (2017)"},{"doi-asserted-by":"publisher","unstructured":"B\u00f6ing, B., M\u00fcller, E.: On training and verifying robust autoencoders. In: 2022 IEEE 9th International Conference on Data Science and Advanced Analytics (DSAA), pp. 1\u201310 (2022). https:\/\/doi.org\/10.1109\/DSAA54385.2022.10032334","key":"21_CR4","DOI":"10.1109\/DSAA54385.2022.10032334"},{"unstructured":"Bunel, R., et al.: Branch and bound for piecewise linear neural network verification. J. Mach. Learn. Res. 21(1) (2020)","key":"21_CR5"},{"doi-asserted-by":"crossref","unstructured":"Cire\u015fan, D., Meier, U., Schmidhuber, J.: Multi-column deep neural networks for image classification. arXiv preprint arXiv:1202.2745 (2012)","key":"21_CR6","DOI":"10.1109\/CVPR.2012.6248110"},{"doi-asserted-by":"crossref","unstructured":"Collobert, R., Weston, J.: A unified architecture for natural language processing: Deep neural networks with multitask learning. In: Proceedings of the 25th international conference on Machine learning, pp. 160\u2013167. ACM (2008)","key":"21_CR7","DOI":"10.1145\/1390156.1390177"},{"doi-asserted-by":"publisher","unstructured":"Cruz, U.S., Ferlez, J., Shoukry, Y.: Safe-by-repair: A convex optimization approach for repairing unsafe two-level lattice neural network controllers. In: 2022 IEEE 61st Conference on Decision and Control (CDC), pp. 3383\u20133388 (2022). https:\/\/doi.org\/10.1109\/CDC51059.2022.9993239","key":"21_CR8","DOI":"10.1109\/CDC51059.2022.9993239"},{"doi-asserted-by":"crossref","unstructured":"Dong, G., Sun, J., Wang, J., Wang, X., Dai, T.: Towards repairing neural networks correctly (2021)","key":"21_CR9","DOI":"10.1109\/QRS54544.2021.00081"},{"doi-asserted-by":"crossref","unstructured":"Dreossi, T., Ghosh, S., Yue, X., Keutzer, K., Sangiovanni-Vincentelli, A., Seshia, S.A.: Counterexample-guided data augmentation. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, pp. 2071\u20132078. IJCAI\u201918, AAAI Press (2018)","key":"21_CR10","DOI":"10.24963\/ijcai.2018\/286"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-031-17108-6_11","volume-title":"Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26\u201330, 2022, Proceedings","author":"YY Elboher","year":"2022","unstructured":"Elboher, Y.Y., Cohen, E., Katz, G.: Neural network verification using residual reasoning. In: Schlingloff, B.-H., Chai, M. (eds.) Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26\u201330, 2022, Proceedings, pp. 173\u2013189. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17108-6_11"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-1-4612-4380-9_6","volume-title":"Breakthroughs in Statistics","author":"RA Fisher","year":"1992","unstructured":"Fisher, R.A.: Statistical methods for research workers. In: Kotz, S., Johnson, N.L. (eds.) Breakthroughs in Statistics, pp. 66\u201370. Springer, New York, NY (1992). https:\/\/doi.org\/10.1007\/978-1-4612-4380-9_6"},{"unstructured":"Fu, F., Li, W.: Sound and complete neural network repair with minimality and locality guarantees. In: International Conference on Learning Representations (2022). https:\/\/openreview.net\/forum?id=xS8AMYiEav3","key":"21_CR13"},{"doi-asserted-by":"crossref","unstructured":"Gatys, L.A., Ecker, A.S., Bethge, M.: Image style transfer using convolutional neural networks. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 2414\u20132423 (2016)","key":"21_CR14","DOI":"10.1109\/CVPR.2016.265"},{"unstructured":"Glorot, X., Bengio, Y.: Understanding the difficulty of training deep feedforward neural networks. In: Teh, Y.W., Titterington, M. (eds.) Proceedings of the Thirteenth International Conference on Artificial Intelligence and Statistics. Proceedings of Machine Learning Research, vol. 9, pp. 249\u2013256. PMLR, Chia Laguna Resort, Sardinia, Italy (2010)","key":"21_CR15"},{"doi-asserted-by":"publisher","unstructured":"Goldberger, B., Katz, G., Adi, Y., Keshet, J.: Minimal modifications of deep neural networks using verification. In: Albert, E., Kovacs, L. (eds.) LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. EPiC Series in Computing, vol. 73, pp. 260\u2013278. EasyChair (2020). https:\/\/doi.org\/10.29007\/699q, https:\/\/easychair.org\/publications\/paper\/CWhF","key":"21_CR16","DOI":"10.29007\/699q"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/978-3-031-13185-1_25","volume-title":"Computer Aided Verification","author":"E Goubault","year":"2022","unstructured":"Goubault, E., Putot, S.: Rino: robust inner and outer approximated reachability of neural networks controlled systems. In: Shoham, S., Vizel, Y. (eds.) Computer Aided Verification, pp. 511\u2013523. Springer, Cham (2022)"},{"doi-asserted-by":"publisher","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Delving deep into rectifiers: Surpassing human-level performance on imagenet classification. In: 2015 IEEE International Conference on Computer Vision (ICCV), pp. 1026\u20131034 (2015). https:\/\/doi.org\/10.1109\/ICCV.2015.123","key":"21_CR18","DOI":"10.1109\/ICCV.2015.123"},{"unstructured":"Hoffman, J., Roberts, D.A., Yaida, S.: Robust learning with Jacobian regularization (2019)","key":"21_CR19"},{"unstructured":"Huang, Y., Zhang, H., Shi, Y., Kolter, J.Z., Anandkumar, A.: Training certifiably robust neural networks with efficient local lipschitz bounds. In: Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P., Vaughan, J.W. (eds.) Advances in Neural Information Processing Systems. vol. 34, pp. 22745\u201322757. Curran Associates, Inc. (2021)","key":"21_CR20"},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I","author":"G Katz","year":"2017","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: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-030-25540-4_26","volume-title":"Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I","author":"G Katz","year":"2019","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: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, pp. 443\u2013452. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_26"},{"unstructured":"Krizhevsky, A., Sutskever, I., Hinton, G.E.: Imagenet classification with deep convolutional neural networks. In: Advances in neural information processing systems, pp. 1097\u20131105 (2012)","key":"21_CR23"},{"unstructured":"Krogh, A., Hertz, J.A.: A simple weight decay can improve generalization. In: Proceedings of the 4th International Conference on Neural Information Processing Systems, pp. 950\u2013957. NIPS\u201991, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1991)","key":"21_CR24"},{"unstructured":"LeCun, Y., Cortes, C., Burges, C.: Mnist handwritten digit database. ATT Labs http:\/\/yann.lecun.com\/exdb\/mnist 2 (2010)","key":"21_CR25"},{"doi-asserted-by":"crossref","unstructured":"Leofante, F., Henriksen, P., Lomuscio, A.: Verification-friendly networks: the case for parametric relus. In: Workshop on Formal Verification of Machine Learning, Colocated with ICML 2022. IEEE (2022)","key":"21_CR26","DOI":"10.1109\/IJCNN54540.2023.10191169"},{"issue":"3\u20134","key":"21_CR27","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1561\/2400000035","volume":"4","author":"C Liu","year":"2021","unstructured":"Liu, C., Arnon, T., Lazarus, C., Strong, C., Barrett, C., Kochenderfer, M.J.: Algorithms for verifying deep neural networks. Found. Trends Optimization 4(3\u20134), 244\u2013404 (2021). https:\/\/doi.org\/10.1561\/2400000035","journal-title":"Found. Trends Optimization"},{"unstructured":"Lopez, D.M., et al.: Arch-comp22 category report: Artificial intelligence and neural network control systems (ainncs) for continuous and hybrid systems plants. In: Frehse, G., Althoff, M., Schoitsch, E., Guiochet, J. (eds.) Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). EPiC Series in Computing, vol. 90, pp. 142\u2013184. EasyChair (2022)","key":"21_CR28"},{"doi-asserted-by":"crossref","unstructured":"Luong, M.T., Pham, H., Manning, C.D.: Effective approaches to attention-based neural machine translation. arXiv preprint arXiv:1508.04025 (2015)","key":"21_CR29","DOI":"10.18653\/v1\/D15-1166"},{"key":"21_CR30","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-031-37703-7_19","volume-title":"Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17\u201322, 2023, Proceedings, Part II","author":"DM Lopez","year":"2023","unstructured":"Lopez, D.M., Choi, S.W., Tran, H.-D., Johnson, T.T.: NNV 2.0: the neural network verification tool. In: Enea, C., Lal, A. (eds.) Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17\u201322, 2023, Proceedings, Part II, pp. 397\u2013412. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37703-7_19"},{"unstructured":"M\u00fcller, M.N., Brix, C., Bak, S., Liu, C., Johnson, T.T.: The third international verification of neural networks competition (vnn-comp 2022): Summary and results (2022)","key":"21_CR31"},{"unstructured":"OpenAI: Gpt-4 technical report (2023)","key":"21_CR32"},{"doi-asserted-by":"publisher","unstructured":"Ren, X., et al.: Few-shot guided mix for dnn repairing. In: Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, pp. 717\u2013721. Proceedings - 2020 IEEE International Conference on Software Maintenance and Evolution, ICSME 2020, Institute of Electrical and Electronics Engineers Inc., United States (2020). https:\/\/doi.org\/10.1109\/ICSME46990.2020.00079","key":"21_CR33","DOI":"10.1109\/ICSME46990.2020.00079"},{"unstructured":"Shi, Z., Wang, Y., Zhang, H., Yi, J., Hsieh, C.J.: Fast certified robust training with short warmup. In: Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P., Vaughan, J.W. (eds.) Advances in Neural Information Processing Systems. vol. 34, pp. 18335\u201318349. Curran Associates, Inc. (2021). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2021\/file\/988f9153ac4fd966ea302dd9ab9bae15-Paper.pdf","key":"21_CR34"},{"unstructured":"Singh, G., Gehr, T., Mirman, M., P\u00fcschel, M., Vechev, M.: Fast and effective robustness certification. In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) In: Advances in Neural Information Processing Systems, vol. 31. Curran Associates, Inc. (2018)","key":"21_CR35"},{"unstructured":"Sinitsin, A., Plokhotnyuk, V., Pyrkin, D., Popov, S., Babenko, A.: Editable neural networks. In: International Conference on Learning Representations (2020)","key":"21_CR36"},{"doi-asserted-by":"publisher","unstructured":"Sotoudeh, M., Thakur, A.V.: Provable repair of deep neural networks. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 588\u2013603. PLDI 2021, Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3453483.3454064","key":"21_CR37","DOI":"10.1145\/3453483.3454064"},{"unstructured":"Srivastava, N., Hinton, G., Krizhevsky, A., Sutskever, I., Salakhutdinov, R.: Dropout: a simple way to prevent neural networks from overfitting. J. Mach. Learn. Res. 15(56), 1929\u20131958 (2014). http:\/\/jmlr.org\/papers\/v15\/srivastava14a.html","key":"21_CR38"},{"doi-asserted-by":"publisher","unstructured":"Tao, Z., Nawas, S., Mitchell, J., Thakur, A.V.: Architecture-preserving provable repair of deep neural networks. Proc. ACM Program. Lang. 7(PLDI), 443\u2013467 (2023). https:\/\/doi.org\/10.1145\/3591238","key":"21_CR39","DOI":"10.1145\/3591238"},{"unstructured":"Tjeng, V., Xiao, K., Tedrake, R.: Evaluating robustness of neural networks with mixed integer programming. arXiv preprint arXiv:1711.07356 (2017)","key":"21_CR40"},{"key":"21_CR41","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-030-53288-8_2","volume-title":"Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21\u201324, 2020, Proceedings, Part I","author":"H-D Tran","year":"2020","unstructured":"Tran, H.-D., Bak, S., Xiang, W., Johnson, T.T.: Verification of deep convolutional neural networks using imagestars. In: Lahiri, S.K., Wang, C. (eds.) Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21\u201324, 2020, Proceedings, Part I, pp. 18\u201342. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_2"},{"doi-asserted-by":"publisher","unstructured":"Tran, H.D., Choi, S., Okamoto, H., Hoxha, B., Fainekos, G., Prokhorov, D.: Quantitative verification for neural networks using probstars. In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control. HSCC \u201923, Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3575870.3587112","key":"21_CR42","DOI":"10.1145\/3575870.3587112"},{"key":"21_CR43","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1007\/978-3-030-30942-8_39","volume-title":"Formal Methods \u2013 The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7\u201311, 2019, Proceedings","author":"H-D Tran","year":"2019","unstructured":"Tran, H.-D., et al.: Star-based reachability analysis of deep neural networks. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) Formal Methods \u2013 The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7\u201311, 2019, Proceedings, pp. 670\u2013686. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_39"},{"doi-asserted-by":"crossref","unstructured":"Tran, H.D., et al.: Verification of piecewise deep neural networks: A star set approach with zonotope pre-filter. Form. Asp. Comput. 33(4\u20135), 519\u2013545 (2021)","key":"21_CR44","DOI":"10.1007\/s00165-021-00553-4"},{"key":"21_CR45","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-030-81685-8_12","volume-title":"Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20\u201323, 2021, Proceedings, Part I","author":"H-D Tran","year":"2021","unstructured":"Tran, H.-D., et al.: Robustness verification of semantic segmentation neural networks using relaxed reachability. In: Silva, A., Leino, K.R.M. (eds.) Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20\u201323, 2021, Proceedings, Part I, pp. 263\u2013286. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81685-8_12"},{"doi-asserted-by":"crossref","unstructured":"Tran, H.D., et al.: NNV: The neural network verification tool for deep neural networks and learning-enabled cyber-physical systems. In: 32nd International Conference on Computer-Aided Verification (CAV) (2020)","key":"21_CR46","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"21_CR47","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-81685-8_1","volume-title":"Computer Aided Verification","author":"M Usman","year":"2021","unstructured":"Usman, M., Gopinath, D., Sun, Y., Noller, Y., P\u0103s\u0103reanu, C.S.: Nnrepair: constraint-based repair of neural network classifiers. In: Silva, A., Leino, K.R.M. (eds.) Computer Aided Verification, pp. 3\u201325. Springer, Cham (2021)"},{"unstructured":"Wang, S., Pei, K., Whitehouse, J., Yang, J., Jana, S.: Formal security analysis of neural networks using symbolic intervals. In: 27th $$\\{$$USENIX$$\\}$$ Security Symposium ($$\\{$$USENIX$$\\}$$ Security 18), pp. 1599\u20131614 (2018)","key":"21_CR48"},{"unstructured":"Wang, S., et al.: Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification. In: Advances in Neural Information Processing Systems 34 (2021)","key":"21_CR49"},{"unstructured":"Xiao, K.Y., Tjeng, V., Shafiullah, N.M.M., Madry, A.: Training for faster adversarial robustness verification via inducing reLU stability. In: International Conference on Learning Representations (2019). https:\/\/openreview.net\/forum?id=BJfIVjAcKm","key":"21_CR50"},{"key":"21_CR51","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-031-15839-1_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"X Yang","year":"2022","unstructured":"Yang, X., Yamaguchi, T., Tran, H.D., Hoxha, B., Johnson, T.T., Prokhorov, D.: Neural network repair with reachability analysis. In: Bogomolov, S., Parker, D. (eds.) Formal Modeling and Analysis of Timed Systems, pp. 221\u2013236. Springer, Cham (2022)"}],"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-46002-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:06:21Z","timestamp":1702483581000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46002-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"ISBN":["9783031460012","9783031460029"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46002-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,12,14]]},"assertion":[{"value":"14 December 2023","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":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2023","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"}}]}}