{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:19:09Z","timestamp":1757618349902,"version":"3.44.0"},"publisher-location":"Singapore","reference-count":61,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819666058"},{"type":"electronic","value":"9789819666065"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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-981-96-6606-5_20","type":"book-chapter","created":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T02:42:15Z","timestamp":1750646535000},"page":"284-302","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Enforcing Specific Behaviours via\u00a0Constrained DRL and\u00a0Scenario-Based Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1908-4449","authenticated-orcid":false,"given":"Davide","family":"Corsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0513-3211","authenticated-orcid":false,"given":"Raz","family":"Yerushalmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7951-7795","authenticated-orcid":false,"given":"Guy","family":"Amir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2592-5814","authenticated-orcid":false,"given":"Alessandro","family":"Farinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7240-3931","authenticated-orcid":false,"given":"David","family":"Harel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5292-801X","authenticated-orcid":false,"given":"Guy","family":"Katz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,24]]},"reference":[{"key":"20_CR1","unstructured":"Achiam, J.,\u00a0Held, D.,\u00a0Tamar, A.,\u00a0Abbeel, P.: Constrained policy optimization. In: Proceedings of the 34th International Conference on Machine Learning (ICML) (2017)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Alexandron, G.,\u00a0Armoni, M.,\u00a0Gordon, M.,\u00a0Harel, D.: Scenario-based programming: reducing the cognitive load, fostering abstract thinking. In: Proceedings of the 36th International Conference on Software Engineering (ICSE) (2014)","DOI":"10.1145\/2591062.2591167"},{"key":"20_CR3","unstructured":"Amir, G.,\u00a0Schapira, M.,\u00a0Katz, G.: Towards scalable verification of deep reinforcement learning. In: Proceedings of the 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 193\u2013203 (2021)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Amir, G.,\u00a0Corsi, D.,\u00a0Yerushalmi, R.,\u00a0Marzari, L.,\u00a0Harel, D.,\u00a0Farinelli, A.,\u00a0Katz, G.: Verifying learning-based robotic navigation systems. In: Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 607\u2013627 (2023)","DOI":"10.1007\/978-3-031-30823-9_31"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Amsters, R.,\u00a0Slaets, P.: Turtlebot 3 as a robotics education platform. In: Proceedings of the 10th International Conference on Robotics in Education (RiE), pp. 170\u2013181 (2019)","DOI":"10.1007\/978-3-030-26945-6_16"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Bacci, E.,\u00a0Giacobbe, M.,\u00a0Parker, D.: Verifying reinforcement learning up to infinity. In: Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2154\u20132160 (2021)","DOI":"10.24963\/ijcai.2021\/297"},{"key":"20_CR7","unstructured":"Colas, C.,\u00a0Signal, O., Oudeyer, P.-Y.: A hitchhiker\u2019s guide to statistical comparisons of reinforcement learning algorithms (2019). Technical Report. http:\/\/arxiv.org\/abs\/1904.06979"},{"key":"20_CR8","unstructured":"Corsi, D.,\u00a0Marchesini, E.,\u00a0Farinelli, A.: Formal verification of neural networks for safety-critical tasks in deep reinforcement learning. In: Proceedings of the 37th Conference on Uncertainty in Artificial Intelligence (UAI) (2021)"},{"key":"20_CR9","unstructured":"Corsi, D.,\u00a0Amir, G.,\u00a0Katz, G.,\u00a0Farinelli, A.: Analyzing adversarial inputs in deep reinforcement learning (2024). Technical Report. https:\/\/arxiv.org\/abs\/2402.05284"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. J. Formal Methods Syst. Des. (FMSD) 19(1), 45\u201380 (2001)","journal-title":"J. Formal Methods Syst. Des. (FMSD)"},{"key":"20_CR11","unstructured":"Du, J.: Understanding of object detection based on CNN family and YOLO. In: Proceedings of the 2nd International Conference on Machine Vision and Information Technology (CMVIT), pp. 23\u201325 (2018)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Eliyahu, T.,\u00a0Kazak, Y.,\u00a0Katz, G.,\u00a0Schapira, M.: Verifying learning-augmented systems. In: Proceedings of the Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM) (2021)","DOI":"10.1145\/3452296.3472936"},{"key":"20_CR13","unstructured":"Goodfellow, I.,\u00a0Bengio, Y.,\u00a0Courville, A.: Deep Learning. MIT Press (2016)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Gordon, M.,\u00a0Marron, A.,\u00a0Meerbaum-Salant, O.: Spaghetti for the main course? Observations on the Naturalness of Scenario-Based Programming. In: Proceedings of the 17th ACM Conference on Innovation and Technology in Computer Science Education (ITCSE), pp. 198\u2013203 (2012)","DOI":"10.1145\/2325296.2325346"},{"key":"20_CR15","unstructured":"Greenyer, J.,\u00a0Gritzner, D.,\u00a0Katz, G.,\u00a0Marron, A.: Scenario-based modeling and synthesis for reactive systems with dynamic system structure in ScenarioTools. In: Proceedings of the 19th ACM\/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), pp. 16\u201323 (2016)"},{"issue":"3","key":"20_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: STATECHARTS: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Harel, D.,\u00a0Katz, G.: Scaling-up behavioral programming: steps from basic principles to application architectures. In: Proceedings of the 4th SPLASH Workshop on Programming based on Actors, Agents and Decentralized Control (AGERE!), pp. 95\u2013108 (2014)","DOI":"10.1145\/2687357.2687359"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Harel, D.,\u00a0Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming using LSCs and the Play-Engine. Springer Science & Business Media, Heidelberg (2003)","DOI":"10.1007\/978-3-642-19029-2"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Harel, D.,\u00a0Katz, G.,\u00a0Marron, A.,\u00a0Weiss, G.: Non-intrusive repair of reactive programs. In: Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 3\u201312 (2012a)","DOI":"10.1109\/ICECCS20050.2012.6299199"},{"issue":"7","key":"20_CR20","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/2209249.2209270","volume":"55","author":"D Harel","year":"2012","unstructured":"Harel, D., Marron, A., Weiss, G.: Behavioral programming. Commun. ACM (CACM) 55(7), 90\u2013100 (2012)","journal-title":"Commun. ACM (CACM)"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-45221-5_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D Harel","year":"2013","unstructured":"Harel, D., Kantor, A., Katz, G.: Relaxing synchronization constraints in behavioral programs. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 355\u2013372. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45221-5_25"},{"key":"20_CR22","first-page":"1","volume":"16","author":"D Harel","year":"2014","unstructured":"Harel, D., Katz, G., Marron, A., Weiss, G.: Non-intrusive repair of safety and liveness violations in reactive programs. Trans. Comput. Collective Intell. (TCCI) 16, 1\u201333 (2014)","journal-title":"Trans. Comput. Collective Intell. (TCCI)"},{"key":"20_CR23","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":"20_CR24","unstructured":"Juliani, A., et\u00a0al. Unity: a general platform for intelligent Agents (2018). Technical Report. https:\/\/arxiv.org\/abs\/1809.02627"},{"key":"20_CR25","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1038\/s41586-021-03819-2","volume":"596","author":"J Jumper","year":"2021","unstructured":"Jumper, J., et al.: Highly accurate protein structure prediction with AlphaFold. Nature 596, 583\u2013589 (2021)","journal-title":"Nature"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"Kamran, D., et al.: A modern perspective on safe automated driving for different traffic dynamics using constrained reinforcement learning. In: Proceedings of the IEEE 25th International Conference on Intelligent Transportation Systems (ITSC), (2022)","DOI":"10.1109\/ITSC55140.2022.9921907"},{"key":"20_CR27","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":"20_CR28","doi-asserted-by":"crossref","unstructured":"Koch, W., Mancuso, R., West, R., Bestavros, A.: Reinforcement learning for UAV attitude control. ACM Trans. Cyber-Phys. Syst. 3, 1\u201321 (2019)","DOI":"10.1145\/3301273"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Kulh\u00e1nek, J., Derner, E., De Bruin, T., Babu\u0161ka, R.: Vision-based navigation using deep reinforcement learning. In: Proceedings of the European Conference on Mobile Robots (ECMR) (2019)","DOI":"10.1109\/ECMR.2019.8870964"},{"key":"20_CR30","unstructured":"Li, Y.: Deep reinforcement learning: an overview (2017). Technical Report. http:\/\/arxiv.org\/abs\/1701.07274"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"Liu, Y.,.\u00a0Ding, J,\u00a0Liu, X.: IPO: interior-point policy optimization under constraints. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), pp. 4940\u20134947 (2020)","DOI":"10.1609\/aaai.v34i04.5932"},{"key":"20_CR32","doi-asserted-by":"crossref","unstructured":"Lyu, Z., Ko, C.Y., Kong, Z., Wong, N., Lin, D., Daniel, L.: Fastened crown: tightened neural network robustness certificates. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), pp. 5037\u20135044 (2020)","DOI":"10.1609\/aaai.v34i04.5944"},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Marchesini, E.,\u00a0Farinelli, A.: Discrete deep reinforcement learning for mapless navigation. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 10688\u201310694 (2020)","DOI":"10.1109\/ICRA40945.2020.9196739"},{"key":"20_CR34","doi-asserted-by":"crossref","unstructured":"Marchesini, E., Corsi, D., Farinelli, A.: Benchmarking safe deep reinforcement learning in aquatic navigation. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (2021)","DOI":"10.1109\/IROS51168.2021.9635925"},{"key":"20_CR35","doi-asserted-by":"crossref","unstructured":"Marchesini, E.,\u00a0Corsi, D.,\u00a0Farinelli, A.: Exploring safer behaviors for deep reinforcement learning. In: Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI) (2021b)","DOI":"10.1609\/aaai.v36i7.20737"},{"key":"20_CR36","unstructured":"Marron, A., Hacohen, Y., Harel, D., M\u00fclder, A., Terfloth, A.: Embedding scenario-based modeling in Statecharts. In: Proceedings of the 5th International Workshop on Model-driven Robot Software Engineering (MORSE), pp. 443\u2013452 (2018)"},{"key":"20_CR37","unstructured":"Mnih, V., et al.: Playing Atari with deep reinforcement learning (2013). Technical Report. https:\/\/arxiv.org\/abs\/1312.5602"},{"key":"20_CR38","doi-asserted-by":"crossref","unstructured":"Nandkumar, C., Shukla, P., Varma, V.: Simulation of indoor localization and navigation of Turtlebot 3 using real time object detection. In: Proceedings of the International Conference on Disruptive Technologies for Multi-Disciplinary Research and Applications (CENTCON) (2021)","DOI":"10.1109\/CENTCON52345.2021.9687937"},{"key":"20_CR39","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2023.109610","volume":"142","author":"G Nanfack","year":"2023","unstructured":"Nanfack, G., Temple, P., Fr\u00e9nay, B.: Learning customised decision trees for domain-knowledge constraints. Pattern Recognit. 142, 109610 (2023)","journal-title":"Pattern Recognit."},{"key":"20_CR40","doi-asserted-by":"crossref","unstructured":"Nguyen, H.,\u00a0La, H.: Review of deep reinforcement learning for robot manipulation. In: Proceedings of the 3rd IEEE International Conference on Robotic Computing (IRC) (2019)","DOI":"10.1109\/IRC.2019.00120"},{"issue":"4","key":"20_CR41","doi-asserted-by":"publisher","first-page":"4423","DOI":"10.1109\/LRA.2018.2869644","volume":"3","author":"M Pfeiffer","year":"2018","unstructured":"Pfeiffer, M., et al.: Reinforced imitation: sample efficient deep reinforcement learning for mapless navigation by leveraging prior demonstrations. IEEE Robot. Autom. Lett. 3(4), 4423\u20134430 (2018)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"20_CR42","doi-asserted-by":"crossref","unstructured":"Pore, A., et al.: Safe reinforcement learning using formal verification for tissue retraction in autonomous robotic-assisted surgery. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4025\u20134031 (2021)","DOI":"10.1109\/IROS51168.2021.9636175"},{"key":"20_CR43","unstructured":"Quigley, M., et al.: ROS: an open-source robot operating system. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA) (2009)"},{"key":"20_CR44","doi-asserted-by":"crossref","unstructured":"Ray, A.,\u00a0Achiam, J.,\u00a0Amodei, D.: Benchmarking safe exploration in deep reinforcement learning (2019). Technical Report. https:\/\/cdn.openai.com\/safexp-short.pdf","DOI":"10.4018\/IJRCM.2019010105"},{"key":"20_CR45","unstructured":"Roy, J.,\u00a0Girgis, R.,\u00a0Romoff, J.,\u00a0Bacon, P.,\u00a0Pal, C.: Direct behavior specification via constrained reinforcement learning (2021). Technical Report. https:\/\/arxiv.org\/abs\/2112.12228"},{"key":"20_CR46","doi-asserted-by":"publisher","first-page":"70","DOI":"10.2352\/ISSN.2470-1173.2017.19.AVM-023","volume":"19","author":"A Sallab","year":"2017","unstructured":"Sallab, A., Abdou, M., Perot, E., Yogamani, S.: Deep reinforcement learning framework for autonomous driving. Electron. Imag. 19, 70\u201376 (2017)","journal-title":"Electron. Imag."},{"key":"20_CR47","unstructured":"Schulman, J.,\u00a0Wolski, F.,\u00a0Dhariwal, P.,\u00a0Radford, A.,\u00a0Klimov, O.: Proximal policy optimization algorithms (2017). Technical Report. http:\/\/arxiv.org\/abs\/1707.06347"},{"key":"20_CR48","unstructured":"Srinivasan, K.,\u00a0Eysenbach, B.,\u00a0Ha, S.,\u00a0Tan, J.,\u00a0Finn, C.: Learning to be safe: deep RL with a safety critic (2020). Technical Report. http:\/\/arxiv.org\/abs\/2010.14603"},{"key":"20_CR49","unstructured":"Stooke, A.,\u00a0Achiam, J.,\u00a0Abbeel, P.: Responsive safety in reinforcement learning by Pid Lagrangian methods. In: Proceedings of the 37th International Conference on Machine Learning (ICML), pp. 9133\u20139143 (2020)"},{"key":"20_CR50","unstructured":"Sutton, R.,\u00a0Barto, A.: Reinforcement Learning: An Introduction. MIT press (2018)"},{"key":"20_CR51","doi-asserted-by":"crossref","unstructured":"Tai, L.,\u00a0Paolo, G., Liu, M.: Virtual-to-real deep reinforcement learning: continuous control of mobile robots for Mapless navigation. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 31\u201336 (2017)","DOI":"10.1109\/IROS.2017.8202134"},{"key":"20_CR52","unstructured":"Tessler, C.,\u00a0Mankowitz, D.,\u00a0Mannor, S.: Reward constrained policy optimization. In: Proceedings 6th International Conference on Learning Representations (ICLR) (2018)"},{"key":"20_CR53","doi-asserted-by":"publisher","first-page":"4915","DOI":"10.1109\/LRA.2021.3070252","volume":"6","author":"B Thananjeyan","year":"2021","unstructured":"Thananjeyan, B., et al.: Recovery RL: safe reinforcement learning with learned recovery zones. IEEE Robot. Autom. Lett. 6, 4915\u20134922 (2021)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"20_CR54","unstructured":"Wang, S.,\u00a0Pei, K.,\u00a0Whitehouse, J.,\u00a0Yang, J.,\u00a0Jana, S.: Formal security analysis of neural networks using symbolic intervals. In: Proceedings of the 27th USENIX Security Symposium, pp. 1599\u20131614 (2018)"},{"key":"20_CR55","unstructured":"Yang, L.,\u00a0et al.: Constrained update projection approach to safe policy optimization. In: Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS) (2022)"},{"key":"20_CR56","doi-asserted-by":"crossref","unstructured":"Yerushalmi, R.,\u00a0Amir, G.,\u00a0Elyasaf, A.,\u00a0Harel, D.,\u00a0Katz, G.,\u00a0Marron, A.: Scenario-assisted deep reinforcement learning. In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 310\u2013319 (2022)","DOI":"10.5220\/0010904700003119"},{"key":"20_CR57","doi-asserted-by":"crossref","unstructured":"Zhang, J.,\u00a0Springenberg, J.,\u00a0Boedecker, J.,\u00a0Burgard, W.: Deep reinforcement learning with successor features for navigation across similar environments. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (2017)","DOI":"10.1109\/IROS.2017.8206049"},{"key":"20_CR58","doi-asserted-by":"crossref","unstructured":"Zhang, L., et al.: Penalized proximal policy optimization for safe reinforcement learning. In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI) (2022)","DOI":"10.24963\/ijcai.2022\/520"},{"key":"20_CR59","unstructured":"Zhang, Y.,\u00a0Vuong, Q.,\u00a0Ross, K.: First order constrained optimization in policy space. In: Proceedings 34th Conference on Neural Information Processing Systems (NeurIPS) (2020)"},{"key":"20_CR60","doi-asserted-by":"crossref","unstructured":"Zhao, W., Queralta, J., Westerlund, T.: Sim-to-real transfer in deep reinforcement learning for robotics: a survey. In: Proceedings of the IEEE Symposium Series on Computational Intelligence (SSCI) (2020)","DOI":"10.1109\/SSCI47803.2020.9308468"},{"key":"20_CR61","doi-asserted-by":"crossref","unstructured":"Zhu, K.,\u00a0Zhang, T.: Deep reinforcement learning based mobile robot navigation: a review. Tsinghua Science and Technology (2021)","DOI":"10.26599\/TST.2021.9010012"}],"container-title":["Lecture Notes in Computer Science","Neural Information Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-6606-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T21:39:21Z","timestamp":1757194761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-6606-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819666058","9789819666065"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-6606-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"24 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICONIP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Neural Information Processing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Auckland","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New Zealand","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":"2 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iconip2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/iconip2024.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}