{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:03:36Z","timestamp":1761563016901,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"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_12","type":"book-chapter","created":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:02:36Z","timestamp":1702483356000},"page":"217-224","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Track C1: Safety Verification of\u00a0Deep Neural Networks (DNNs)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9276-6342","authenticated-orcid":false,"given":"Daniel","family":"Neider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8021-9923","authenticated-orcid":false,"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,14]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"Bak, S., Liu, C., Johnson, T.: The second international verification of neural networks competition (VNN-COMP 2021): summary and results (2021). https:\/\/doi.org\/10.48550\/ARXIV.2109.00498","key":"12_CR1","DOI":"10.48550\/ARXIV.2109.00498"},{"key":"12_CR2","series-title":"LNCS","first-page":"256","volume-title":"AISoLA 2023","author":"S Bensalem","year":"2023","unstructured":"Bensalem, S., et al.: Continuous engineering for trustworthy learning-enabled autonomous systems. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 256\u2013278. Springer, Cham (2023)"},{"doi-asserted-by":"crossref","unstructured":"Brix, C., M\u00fcller, M.N., Bak, S., Johnson, T.T., Liu, C.: First three years of the international verification of neural networks competition (VNN-COMP). Int. J. Softw. Tools Technol. Transfer 1\u201311 (2023)","key":"12_CR3","DOI":"10.1007\/s10009-023-00703-4"},{"key":"12_CR4","series-title":"LNCS","first-page":"241","volume-title":"AISoLA 2023","author":"M Forets","year":"2023","unstructured":"Forets, M., Schilling, C.: The inverse problem for neural networks. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 241\u2013255. Springer, Cham (2023)"},{"doi-asserted-by":"publisher","unstructured":"Johnson, T.T., et al.: ARCH-COMP21 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants. In: Frehse, G., Althoff, M. (eds.) 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). EPiC Series in Computing, vol. 80, pp. 90\u2013119. EasyChair (2021). https:\/\/doi.org\/10.29007\/kfk9","key":"12_CR5","DOI":"10.29007\/kfk9"},{"doi-asserted-by":"publisher","unstructured":"Johnson, T.T., et al.: ARCH-COMP20 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants. In: Frehse, G., Althoff, M. (eds.) ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20). EPiC Series in Computing, vol. 74, pp. 107\u2013139. EasyChair (2020). https:\/\/doi.org\/10.29007\/9xgv","key":"12_CR6","DOI":"10.29007\/9xgv"},{"unstructured":"Katzke, T., Li, B., Kl\u00fcttermann, S., M\u00fcller, E.: Towards verification of changes in dynamic machine learning models using deep ensemble anomaly detection. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, p. 448. Springer, Cham (2023)","key":"12_CR7"},{"key":"12_CR8","series-title":"LNCS","first-page":"299","volume-title":"AISoLA 2023","author":"D Kirov","year":"2023","unstructured":"Kirov, D., Rollini, S.F.: Benchmark: remaining useful life predictor for aircraft equipment. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 299\u2013304. Springer, Cham (2023)"},{"doi-asserted-by":"crossref","unstructured":"Kirov, D., Rollini, S.F., Chandrahas, R., Reddy, S., Chandupatla, Sawant, R.: Benchmark: object detection for maritime search and rescue. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 305\u2013310. Springer, Cham (2023)","key":"12_CR9","DOI":"10.1007\/978-3-031-46002-9_19"},{"key":"12_CR10","series-title":"LNCS","first-page":"225","volume-title":"AISoLA 2023","author":"D Kirov","year":"2023","unstructured":"Kirov, D., Rollini, S.F., Guglielmo, L.D., Cofer, D.: Formal verification of a neural network based prognostics system for aircraft equipment. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 225\u2013240. Springer, Cham (2023)"},{"doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.29007\/wfgr","key":"12_CR11","DOI":"10.29007\/wfgr"},{"key":"12_CR12","series-title":"LNCS","first-page":"331","volume-title":"AISoLA 2023","author":"DM Lopez","year":"2023","unstructured":"Lopez, D.M., Johnson, T.T.: Empirical analysis of benchmark generation for the verification of neural network image classifiers. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 331\u2013347. Springer, Cham (2023)"},{"doi-asserted-by":"publisher","unstructured":"Lopez, D.M., et al.: ARCH-COMP19 category report: artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants. In: Frehse, G., Althoff, M. (eds.) ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. EPiC Series in Computing, vol. 61, pp. 103\u2013119. EasyChair (2019). https:\/\/doi.org\/10.29007\/rgv8","key":"12_CR13","DOI":"10.29007\/rgv8"},{"key":"12_CR14","series-title":"LNCS","first-page":"279","volume-title":"AISoLA 2023","author":"Y Luo","year":"2023","unstructured":"Luo, Y., Ma, J., Han, S., Xie, L.: Benchmarks: semantic segmentation neural network verification and objection detection neural network verification in perceptions tasks of autonomous driving. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 279\u2013290. Springer, Cham (2023)"},{"key":"12_CR15","series-title":"LNCS","first-page":"449","volume-title":"AISoLA 2023","author":"S Lutz","year":"2023","unstructured":"Lutz, S., Neider, D.: Benchmark: neural networks for anomaly detection in batch distillation. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 449\u2013452. Springer, Cham (2023)"},{"doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.48550\/arXiv.2212.10376","key":"12_CR16","DOI":"10.48550\/arXiv.2212.10376"},{"doi-asserted-by":"crossref","unstructured":"Pal, N., Lee, S., Johnson, T.T.: Benchmark: formal verification of semantic segmentation neural networks. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 311\u2013330. Springer, Cham (2023)","key":"12_CR17","DOI":"10.1007\/978-3-031-46002-9_20"},{"key":"12_CR18","series-title":"LNCS","first-page":"291","volume-title":"AISoLA 2023","author":"PK Robinette","year":"2023","unstructured":"Robinette, P.K., Lopez, D.M., Johnson, T.T.: Benchmark: neural network malware classification. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 291\u2013298. Springer, Cham (2023)"},{"key":"12_CR19","series-title":"LNCS","first-page":"445","volume-title":"AISoLA 2023","author":"FA Zaid","year":"2023","unstructured":"Zaid, F.A., Diekmann, D., Neider, D.: Distribution-aware neuro-symbolic verification. In: Steffen, B. (ed.) AISoLA 2023. LNCS, vol. 14380, pp. 445\u2013447. Springer, Cham (2023)"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,28]],"date-time":"2023-12-28T01:55:50Z","timestamp":1703728550000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46002-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"ISBN":["9783031460012","9783031460029"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46002-9_12","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"}}]}}