{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T17:54:52Z","timestamp":1775325292024,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031742330","type":"print"},{"value":"9783031742347","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"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-74234-7_15","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:01:58Z","timestamp":1728640918000},"page":"229-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Box-Based Monitor Approach for\u00a0Out-of-Distribution Detection in\u00a0YOLO: An Exploratory Study"],"prefix":"10.1007","author":[{"given":"Weicheng","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8293-2888","authenticated-orcid":false,"given":"Changshun","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5753-2126","authenticated-orcid":false,"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,12]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Arora, U., Huang, W., He, H.: Types of out-of-distribution texts and how to detect them. In: Proceedings of the EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, pp. 10687\u201310701. Association for Computational Linguistics (ACL) (2021)","DOI":"10.18653\/v1\/2021.emnlp-main.835"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Chen, S., Bi, X., Gao, R., Sun, X.: Holistic sentence embeddings for better out-of-distribution detection. In: Findings of the Association for Computational Linguistics: EMNLP 2022, pp. 6676\u20136686. Association for Computational Linguistics, Abu Dhabi (2022)","DOI":"10.18653\/v1\/2022.findings-emnlp.497"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Chen, S., Yang, W., Bi, X., Sun, X.: Fine-tuning deteriorates general textual out-of-distribution detection by distorting task-agnostic features. In: Findings of the Association for Computational Linguistics: EACL 2023, pp. 552\u2013567 (2023)","DOI":"10.18653\/v1\/2023.findings-eacl.41"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, C.H.: Provably-robust runtime monitoring of neuron activation patterns. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1310\u20131313. IEEE (2021)","DOI":"10.23919\/DATE51398.2021.9473957"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Cheng, C.H., Huang, C.H., Brunner, T., Hashemi, V.: Towards safety verification of direct perception neural networks. In: DATE, pp. 1640\u20131643. IEEE (2020)","DOI":"10.23919\/DATE48585.2020.9116205"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Cheng, C.H., N\u00fchrenberg, G., Yasuoka, H.: Runtime monitoring neuron activation patterns. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 300\u2013303. IEEE (2019)","DOI":"10.23919\/DATE.2019.8714971"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-031-19992-9_26","volume-title":"Automated Technology for Verification and Analysis","author":"CH Cheng","year":"2022","unstructured":"Cheng, C.H., Wu, C., Seferis, E., Bensalem, S.: Prioritizing corners in OoD detectors via symbolic string manipulation. In: Bouajjani, A., Hol\u00edk, L., Wu, Z. (eds.) ATVA 2022. LNCS, vol. 13505, pp. 397\u2013413. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_26"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Cheng, T., Song, L., Ge, Y., Liu, W., Wang, X., Shan, Y.: YOLO-world: real-time open-vocabulary object detection. In: Proceedings of the IEEE Conference Computer Vision and Pattern Recognition (CVPR) (2024)","DOI":"10.1109\/CVPR52733.2024.01599"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-030-25540-4_25","volume-title":"Computer Aided Verification","author":"T Dreossi","year":"2019","unstructured":"Dreossi, T., Fremont, D.J., Ghosh, S., Kim, E., Ravanbakhsh, H., Vazquez-Chanlatte, M., Seshia, S.A.: VerifAI: a toolkit for the formal design and analysis of artificial intelligence-based systems. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 432\u2013442. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_25"},{"key":"15_CR10","unstructured":"Du, X., Wang, Z., Cai, M., Li, Y.: VOS: learning what you don\u2019t know by virtual outlier synthesis. In: ICLR (2022)"},{"key":"15_CR11","unstructured":"Hendrycks, D., et al.: Scaling out-of-distribution detection for real-world settings. In: ICML (2022)"},{"key":"15_CR12","unstructured":"Hendrycks, D., Gimpel, K.: A baseline for detecting misclassified and out-of-distribution examples in neural networks. In: ICLR (2016)"},{"key":"15_CR13","unstructured":"Henzinger, T.A., Lukina, A., Schilling, C.: Outside the box: abstraction-based monitoring of neural networks. In: ECAI 2020, pp. 2433\u20132440. IOS Press (2020)"},{"key":"15_CR14","unstructured":"Huang, H., Li, Z., Wang, L., Chen, S., Dong, B., Zhou, X.: Feature space singularity for out-of-distribution detection. In: Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) (2021)"},{"key":"15_CR15","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, Part I. LNCS, vol. 10426, pp. 3\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_1"},{"key":"15_CR16","unstructured":"Lee, K., Lee, K., Lee, H., Shin, J.: A simple unified framework for detecting out-of-distribution samples and adversarial attacks. In: NeurIPS (2018)"},{"key":"15_CR17","unstructured":"Liang, S., Li, Y., Srikant, R.: Enhancing the reliability of out-of-distribution image detection in neural networks. In: ICLR (2018)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Liu, C., et\u00a0al.: Algorithms for verifying deep neural networks. Found. Trends\u00ae Optim. 4(3-4), 244\u2013404 (2021)","DOI":"10.1561\/2400000035"},{"key":"15_CR19","unstructured":"Liu, W., Wang, X., Owens, J., Li, Y.: Energy-based out-of-distribution detection. In: Advances in Neural Information Processing Systems (2020)"},{"key":"15_CR20","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":"15_CR21","unstructured":"Papernot, N., McDaniel, P.: Deep k-nearest neighbors: towards confident, interpretable and robust deep learning. arXiv preprint arXiv:1803.04765 (2018)"},{"key":"15_CR22","unstructured":"Ren, S., He, K., Girshick, R., Sun, J.: Faster R-CNN: towards real-time object detection with region proposal networks. In: NeurIPS (2015)"},{"key":"15_CR23","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/3503914","volume":"7","author":"SA Seshia","year":"2022","unstructured":"Seshia, S.A., Sadigh, D., Sastry, S.S.: Toward verified artificial intelligence. Commun. ACM 7, 46\u201355 (2022)","journal-title":"Commun. ACM"},{"key":"15_CR24","unstructured":"Szegedy, C., et al.: Intriguing properties of neural networks. In: ICLR. Citeseer (2014)"},{"key":"15_CR25","unstructured":"Wang, A., et al.: YOLOv10: real-time end-to-end object detection (2024)"},{"key":"15_CR26","unstructured":"Wang, C., et al.: Gold-YOLO: efficient object detector via gather-and-distribute mechanism. In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S. (eds.) Advances in Neural Information Processing Systems, vol.\u00a036, pp. 51094\u201351112. Curran Associates, Inc. (2023)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Wilson, S., Fischer, T., Dayoub, F., Miller, D., S\u00fcnderhauf, N.: SAFE: sensitivity-aware features for out-of-distribution object detection. In: Proceedings of the IEEE\/CVF International Conference on Computer Vision (ICCV), pp. 23565\u201323576 (2023)","DOI":"10.1109\/ICCV51070.2023.02154"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-031-44267-4_2","volume-title":"Runtime Verification","author":"C Wu","year":"2023","unstructured":"Wu, C., Falcone, Y., Bensalem, S.: Customizable reference runtime monitoring of neural networks using resolution boxes. In: Katsaros, P., Nenzi, L. (eds.) RV 2023. LNCS, vol. 14245, pp. 23\u201341. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-44267-4_2"},{"key":"15_CR29","unstructured":"Wu, C., He, W., Cheng, C.H., Huang, X., Bensalem, S.: BAM: box abstraction monitors for real-time OoD detection in object detection. arXiv preprint arXiv:2403.18373 (2024)"},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.tcs.2019.05.046","volume":"807","author":"M Wu","year":"2020","unstructured":"Wu, M., Wicker, M., Ruan, W., Huang, X., Kwiatkowska, M.: A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. 807, 298\u2013329 (2020)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74234-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:03:58Z","timestamp":1728641038000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74234-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,12]]},"ISBN":["9783031742330","9783031742347"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74234-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,12]]},"assertion":[{"value":"12 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Instanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"T\u00fcrkiye","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":"14 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/yeni.cmpe.bogazici.edu.tr\/rv24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}