{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:46:58Z","timestamp":1743040018123,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":25,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819970186"},{"type":"electronic","value":"9789819970193"}],"license":[{"start":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T00:00:00Z","timestamp":1699574400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T00:00:00Z","timestamp":1699574400000},"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-981-99-7019-3_14","type":"book-chapter","created":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T00:02:57Z","timestamp":1699574577000},"page":"137-149","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["PruVer: Verification Assisted Pruning for\u00a0Deep Reinforcement Learning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6488-9326","authenticated-orcid":false,"given":"Briti","family":"Gangopadhyay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2178-8154","authenticated-orcid":false,"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9329-6389","authenticated-orcid":false,"given":"Soumyajit","family":"Dey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,10]]},"reference":[{"unstructured":"Amir, G., Schapira, M., Katz, G.: Towards scalable verification of deep reinforcement learning. In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19\u201322, 2021, pp. 193\u2013203. IEEE (2021)","key":"14_CR1"},{"issue":"10","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1109\/TAC.2003.817920","volume":"48","author":"D Angeli","year":"2003","unstructured":"Angeli, D., et al.: Monotone control systems. IEEE Trans. Autom. Control 48(10), 1684\u20131698 (2003). https:\/\/doi.org\/10.1109\/TAC.2003.817920","journal-title":"IEEE Trans. Autom. Control"},{"unstructured":"Arnob, S.Y., Ohib, R., Plis, S., Precup, D.: Single-shot pruning for offline reinforcement learning. arXiv preprint arXiv:2112.15579 (2021)","key":"14_CR3"},{"key":"14_CR4","first-page":"129","volume":"2","author":"D Blalock","year":"2020","unstructured":"Blalock, D., et al.: What is the state of neural network pruning? Proc. Mach. Learn. Syst. 2, 129\u2013146 (2020)","journal-title":"Proc. Mach. Learn. Syst."},{"unstructured":"Brockman, G., et al.: Openai gym. arXiv preprint arXiv:1606.01540 (2016)","key":"14_CR5"},{"doi-asserted-by":"crossref","unstructured":"Coogan, S.: Mixed monotonicity for reachability and safety in dynamical systems. In: 2020 59th IEEE Conference on Decision and Control, pp. 5074\u20135085 (2020)","key":"14_CR6","DOI":"10.1109\/CDC42340.2020.9304391"},{"doi-asserted-by":"publisher","unstructured":"Deng, C., Sui, Y., Liao, S., Qian, X., Yuan, B.: GoSPA: an energy-efficient high-performance globally optimized SParse convolutional neural network accelerator. In: 2021 ACM\/IEEE 48th Annual International Symposium on Computer Architecture (ISCA), pp. 1110\u20131123 (2021). https:\/\/doi.org\/10.1109\/ISCA52012.2021.00090","key":"14_CR7","DOI":"10.1109\/ISCA52012.2021.00090"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-77935-5_9","volume-title":"NASA Formal Methods","author":"S Dutta","year":"2018","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.) NFM 2018. LNCS, vol. 10811, pp. 121\u2013138. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-77935-5_9"},{"unstructured":"Evci, U., Pedregosa, F., Gomez, A., Elsen, E.: The difficulty of training sparse neural networks. arXiv preprint arXiv:1906.10732 (2019)","key":"14_CR9"},{"unstructured":"Frankle, J., Carbin, M.: The lottery ticket hypothesis: finding sparse, trainable neural networks. In: 7th International Conference on Learning Representations, ICLR New Orleans, LA, USA, May 6\u20139 (2019)","key":"14_CR10"},{"issue":"8","key":"14_CR11","doi-asserted-by":"publisher","first-page":"10902","DOI":"10.1109\/TITS.2021.3096998","volume":"23","author":"B Gangopadhyay","year":"2022","unstructured":"Gangopadhyay, B., et al.: Hierarchical program-triggered reinforcement learning agents for automated driving. IEEE Trans. Intell. Transp. Syst. 23(8), 10902\u201310911 (2022). https:\/\/doi.org\/10.1109\/TITS.2021.3096998","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"13","key":"14_CR12","doi-asserted-by":"publisher","first-page":"16212","DOI":"10.1609\/aaai.v37i13.26966","volume":"37","author":"B Gangopadhyay","year":"2023","unstructured":"Gangopadhyay, B., et al.: Safety aware neural pruning for deep reinforcement learning (student abstract). Proc. AAAI 37(13), 16212\u201316213 (2023)","journal-title":"Proc. AAAI"},{"issue":"42","key":"14_CR13","first-page":"1437","volume":"16","author":"J Garc\u00eda","year":"2015","unstructured":"Garc\u00eda, J., Fern\u00e1ndez, F.: A comprehensive survey on safe reinforcement learning. J. Mach. Learn. Res. 16(42), 1437\u20131480 (2015)","journal-title":"J. Mach. Learn. Res."},{"unstructured":"Graesser, L., et al.: The state of sparse training in deep reinforcement learning. In: International Conference on Machine Learning, pp. 7766\u20137792. PMLR (2022)","key":"14_CR14"},{"key":"14_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. LNCS, vol. 10426, pp. 3\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_1"},{"key":"14_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":"14_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"},{"unstructured":"Kusupati, A., et al.: Soft threshold weight reparameterization for learnable sparsity. In: III, H.D., Singh, A. (eds.) Proceedings of the 37th International Conference on Machine Learning, vol. 119, pp. 5544\u20135555. PMLR (2020)","key":"14_CR18"},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41467-018-04316-3","volume":"9","author":"DC Mocanu","year":"2018","unstructured":"Mocanu, D.C., et al.: Scalable training of artificial neural networks with adaptive sparse connectivity inspired by network science. Nat. Commun. 9(1), 1\u201312 (2018)","journal-title":"Nat. Commun."},{"unstructured":"Moore, A.W.: Efficient memory-based learning for robot control. Tech. Rep. University of Cambridge (1990)","key":"14_CR20"},{"unstructured":"Rusu, A.A., et al.: Policy distillation. In: 4th International Conference on Learning Representations, ICLR (2016)","key":"14_CR21"},{"doi-asserted-by":"publisher","unstructured":"Silver, D., et al.: Mastering the game of go without human knowledge. Nature 550, 354\u2013359 (2017). https:\/\/doi.org\/10.1038\/nature24270","key":"14_CR22","DOI":"10.1038\/nature24270"},{"doi-asserted-by":"crossref","unstructured":"Sokar, G., Mocanu, E., et al.: Dynamic sparse training for deep reinforcement learning. arXiv preprint arXiv:2106.04217 (2021)","key":"14_CR23","DOI":"10.24963\/ijcai.2022\/477"},{"unstructured":"Vischer, M.A., et al.: On lottery tickets and minimal task representations in deep reinforcement learning. arXiv preprint arXiv:2105.01648 (2021)","key":"14_CR24"},{"doi-asserted-by":"crossref","unstructured":"Zhang, H., et al.: Accelerating the deep reinforcement learning with neural network compression. In: International Joint Conference on Neural Networks (IJCNN), pp. 1\u20138 (2019)","key":"14_CR25","DOI":"10.1109\/IJCNN.2019.8852451"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2023: Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-99-7019-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,10]],"date-time":"2023-11-10T00:16:22Z","timestamp":1699575382000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-99-7019-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,10]]},"ISBN":["9789819970186","9789819970193"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-981-99-7019-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,11,10]]},"assertion":[{"value":"10 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PRICAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pacific Rim International Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jakarta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indonesia","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":"15 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pricai2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.pricai.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"422","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"95","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}