{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T17:15:48Z","timestamp":1778606148253,"version":"3.51.4"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031150760","type":"print"},{"value":"9783031150777","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15077-7_5","type":"book-chapter","created":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T05:02:57Z","timestamp":1661144577000},"page":"79-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["SpecRepair: Counter-Example Guided Safety Repair of\u00a0Deep Neural Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9312-1706","authenticated-orcid":false,"given":"Fabian","family":"Bauer-Marquart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9071-1695","authenticated-orcid":false,"given":"David","family":"Boetius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4259-624X","authenticated-orcid":false,"given":"Stefan","family":"Leue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3658-1065","authenticated-orcid":false,"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Bauer-Marquart, F., Boetius, D., Leue, S., Schilling, C.: SpecRepair: counter-example guided safety repair of deep neural networks - supplementary material (2022)","DOI":"10.1007\/978-3-031-15077-7_5"},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Chen, J., Jordan, M.I., Wainwright, M.J.: HopSkipJumpAttack: a query-efficient decision-based attack. In: IEEE Symposium on Security and Privacy, pp. 1277\u20131294. IEEE (2020). https:\/\/doi.org\/10.1109\/SP40000.2020.00045","DOI":"10.1109\/SP40000.2020.00045"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"Cheng, C.: Provably-robust runtime monitoring of neuron activation patterns. In: DATE, pp. 1310\u20131313. IEEE (2021). https:\/\/doi.org\/10.23919\/DATE51398.2021.9473957","DOI":"10.23919\/DATE51398.2021.9473957"},{"issue":"3","key":"5_CR4","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 Prof. 23(3), 58\u201362 (2021)","journal-title":"IT Prof."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Dong, G., Sun, J., Wang, X., Wang, X., Dai, T.: Towards repairing neural networks correctly. In: QRS, pp. 714\u2013725. IEEE (2021)","DOI":"10.1109\/QRS54544.2021.00081"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10898-018-0645-y","volume":"72","author":"SC Endres","year":"2018","unstructured":"Endres, S.C., Sandrock, C., Focke, W.W.: A simplicial homology algorithm for Lipschitz optimisation. J. Global Optim. 72(2), 181\u2013217 (2018). https:\/\/doi.org\/10.1007\/s10898-018-0645-y","journal-title":"J. Global Optim."},{"key":"5_CR7","unstructured":"Fischer, M., Balunovic, M., Drachsler-Cohen, D., Gehr, T., Zhang, C., Vechev, M.T.: DL2: training and querying neural networks with logic. In: ICML, Proceedings of Machine Learning Research, vol. 97, pp. 1931\u20131941. PMLR (2019)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Goldberger, B., Katz, G., Adi, Y., Keshet, J.: Minimal modifications of deep neural networks using verification. In: LPAR, EPiC Series in Computing, vol. 73, pp. 260\u2013278. EasyChair (2020)","DOI":"10.29007\/699q"},{"key":"5_CR9","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. In: ICLR (Poster) (2015)"},{"key":"5_CR10","unstructured":"Goodfellow, I.J., Bengio, Y., Courville, A.C.: Deep learning. In: Adaptive Computation and Machine Learning. MIT Press (2016). ISBN 978-0-262-03561-3. http:\/\/www.deeplearningbook.org\/"},{"issue":"11","key":"5_CR11","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/3422622","volume":"63","author":"IJ Goodfellow","year":"2020","unstructured":"Goodfellow, I.J., et al.: Generative adversarial networks. Commun. ACM 63(11), 139\u2013144 (2020)","journal-title":"Commun. ACM"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Lukina, A., Schilling, C.: Outside the box: abstraction-based monitoring of neural networks. In: ECAI, FAIA, vol. 325, pp. 2433\u20132440. IOS Press (2020). https:\/\/doi.org\/10.3233\/FAIA200375","DOI":"10.3233\/FAIA200375"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63387-9_1","volume-title":"Computer Aided Verification","author":"X Huang","year":"2017","unstructured":"Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 3\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_1"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Huang, X., et al.: A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. 37, 100270 (2020)","DOI":"10.1016\/j.cosrev.2020.100270"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Julian, K.D., Lopez, J., Brush, J.S., Owen, M.P., Kochenderfer, M.J.: Policy compression for aircraft collision avoidance systems. In: 2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC), pp. 1\u201310. IEEE (2016)","DOI":"10.1109\/DASC.2016.7778091"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","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.) CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-030-25540-4_26","volume-title":"Computer Aided Verification","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.) CAV 2019. LNCS, vol. 11561, pp. 443\u2013452. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_26"},{"key":"5_CR18","unstructured":"Kochenderfer, M.J., Wheeler, T.A.: Algorithms for Optimization. MIT Press, Cambridge (2019)"},{"key":"5_CR19","unstructured":"Krizhevsky, A., Hinton, G., et al.: Learning multiple layers of features from tiny images (2009)"},{"issue":"2","key":"5_CR20","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L Lamport","year":"1977","unstructured":"Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Software Eng. 3(2), 125\u2013143 (1977)","journal-title":"IEEE Trans. Software Eng."},{"key":"5_CR21","unstructured":"LeCun, Y., Cortes, C.: MNIST handwritten digit database (2010). http:\/\/yann.lecun.com\/exdb\/mnist\/"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1162\/neco.1989.1.4.541","volume":"1","author":"Y LeCun","year":"1989","unstructured":"LeCun, Y., et al.: Backpropagation applied to handwritten zip code recognition. Neural Comput. 1(4), 541\u2013551 (1989)","journal-title":"Neural Comput."},{"issue":"3\u20134","key":"5_CR23","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.A., Barrett, C.W., Kochenderfer, M.J.: Algorithms for verifying deep neural networks. Found. Trends Optim. 4(3\u20134), 244\u2013404 (2021)","journal-title":"Found. Trends Optim."},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-030-88494-9_3","volume-title":"Runtime Verification","author":"A Lukina","year":"2021","unstructured":"Lukina, A., Schilling, C., Henzinger, T.A.: Into the unknown: active monitoring of\u00a0neural networks. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 42\u201361. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_3"},{"key":"5_CR25","unstructured":"Madry, A., Makelov, A., Schmidt, L., Tsipras, D., Vladu, A.: Towards deep learning models resistant to adversarial attacks. In: ICLR (Poster) (2018). OpenReview.net"},{"key":"5_CR26","unstructured":"Mirman, M., Gehr, T., Vechev, M.: Differentiable abstract interpretation for provably robust neural networks. In: International Conference on Machine Learning (ICML) (2018). https:\/\/www.icml.cc\/Conferences\/2018\/Schedule?showEvent=2477"},{"key":"5_CR27","unstructured":"Moon, S., An, G., Song, H.O.: Parsimonious black-box adversarial attacks via efficient combinatorial optimization. In: ICML, PMLR, vol. 97, pp. 4636\u20134645 (2019). http:\/\/proceedings.mlr.press\/v97\/moon19a.html"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Onishi, T., Motoyoshi, T., Suga, Y., Mori, H., Ogata, T.: End-to-end learning method for self-driving cars with trajectory recovery using a path-following function. In: IJCNN, pp. 1\u20138. IEEE (2019)","DOI":"10.1109\/IJCNN.2019.8852322"},{"key":"5_CR29","doi-asserted-by":"publisher","unstructured":"Singh, G., Gehr, T., P\u00fcschel, M., Vechev, M.T.: An abstract domain for certifying neural networks. In: POPL, vol. 3, pp. 41:1\u201341:30 (2019). https:\/\/doi.org\/10.1145\/3290354","DOI":"10.1145\/3290354"},{"key":"5_CR30","unstructured":"Smith, A.E., Coit, D.W., Baeck, T., Fogel, D., Michalewicz, Z.: Penalty functions. In: Handbook of Evolutionary Computation, vol. 97, no. (1), C5 (1997)"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Sotoudeh, M., Thakur, A.V.: Provable repair of deep neural networks. In: PLDI, pp. 588\u2013603. ACM (2021)","DOI":"10.1145\/3453483.3454064"},{"key":"5_CR32","unstructured":"Szegedy, C., et al.: Intriguing properties of neural networks. In: ICLR (2014). http:\/\/arxiv.org\/abs\/1312.6199"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","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\u00a0neural network classifiers. In: Silva, A., Leino, K.R.M. (eds.) CAV 2021. LNCS, vol. 12759, pp. 3\u201325. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81685-8_1"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15077-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,2]],"date-time":"2024-10-02T05:53:16Z","timestamp":1727848396000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15077-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031150760","9783031150777"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15077-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"23 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SPIN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model Checking Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spin2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/spin2022chi.web.illinois.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}