{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T18:06:40Z","timestamp":1773511600884,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031840999","type":"print"},{"value":"9783031841002","type":"electronic"}],"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-3-031-84100-2_17","type":"book-chapter","created":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T23:59:59Z","timestamp":1741391999000},"page":"139-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Bellotti","sequence":"first","affiliation":[]},{"given":"Riccardo","family":"Berta","sequence":"additional","affiliation":[]},{"given":"Vafali","family":"Soltanmuradov","sequence":"additional","affiliation":[]},{"given":"David Mart\u00edn","family":"G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Akshay","family":"Dhonthi","sequence":"additional","affiliation":[]},{"given":"Vahid","family":"Hashemi","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Lazzaroni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,3,8]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","unstructured":"de Visser, E.J., Phillips, E., Tenhundfeld, N., Donadio, B., Barentine, C., Kim, B., Madison, A., Ries, A., Tossell, C.C.: Trust in automated parking systems: A mixed methods evaluation. Transp. Res. Part F Traffic Psychol. Behav. 96, 185\u2013199 (2023). https:\/\/doi.org\/10.1016\/j.trf.2023.05.018.","DOI":"10.1016\/j.trf.2023.05.018"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"1577","DOI":"10.1007\/s12239-023-0127-1","volume":"24","author":"Y Jo","year":"2023","unstructured":"Jo, Y., Ha, J., Hwang, S.: Survey of Technology in Autonomous Valet Parking System. Int. J. Automot. Technol. 24, 1577\u20131587 (2023). https:\/\/doi.org\/10.1007\/s12239-023-0127-1.","journal-title":"Int. J. Automot. Technol."},{"key":"17_CR3","doi-asserted-by":"publisher","unstructured":"Wu, M., Wu, H., Barrett, C.: VeriX: Towards Verified Explainability of Deep Neural Networks, http:\/\/arxiv.org\/abs\/2212.01051, (2023). https:\/\/doi.org\/10.48550\/arXiv.2212.01051.","DOI":"10.48550\/arXiv.2212.01051"},{"key":"17_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2022.105606","volume":"117","author":"LV Haar","year":"2023","unstructured":"Haar, L.V., Elvira, T., Ochoa, O.: An analysis of explainability methods for convolutional neural networks. Eng. Appl. Artif. Intell. 117, 105606 (2023). https:\/\/doi.org\/10.1016\/j.engappai.2022.105606.","journal-title":"Eng. Appl. Artif. Intell."},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"9966","DOI":"10.1109\/TITS.2023.3271642","volume":"24","author":"Z Gu","year":"2023","unstructured":"Gu, Z., Gao, L., Ma, H., Li, S.E., Zheng, S., Jing, W., Chen, J.: Safe-State Enhancement Method for Autonomous Driving via Direct Hierarchical Reinforcement Learning. IEEE Trans. Intell. Transp. Syst. 24, 9966\u20139983 (2023). https:\/\/doi.org\/10.1109\/TITS.2023.3271642.","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"Berta, R., Lazzaroni, L., Capello, A., Cossu, M., Forneris, L., Pighetti, A., Bellotti, F.: Development of deep-learning-based autonomous agents for low-speed maneuvering in Unity. J. Intell. Connect. Veh. (in press). https:\/\/doi.org\/10.26599\/JICV.2023.9210039.","DOI":"10.26599\/JICV.2023.9210039"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"4218","DOI":"10.1109\/LRA.2024.3375266","volume":"9","author":"H Li","year":"2024","unstructured":"Li, H., Han, R., Zhao, Z., Xu, W., Hao, Q., Wang, S., Xu, C.: Seamless Virtual Reality With Integrated Synchronizer and Synthesizer for Autonomous Driving. IEEE Robot. Autom. Lett. 9, 4218\u20134225 (2024). https:\/\/doi.org\/10.1109\/LRA.2024.3375266.","journal-title":"IEEE Robot. Autom. Lett."},{"key":"17_CR8","doi-asserted-by":"publisher","unstructured":"Amir, G., Corsi, D., Yerushalmi, R., Marzari, L., Harel, D., Farinelli, A., Katz, G.: Verifying Learning-Based Robotic Navigation Systems, https:\/\/doi.org\/10.48550\/arXiv.2205.13536.","DOI":"10.48550\/arXiv.2205.13536"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"28522","DOI":"10.1109\/ACCESS.2023.3259544","volume":"11","author":"F Bellotti","year":"2023","unstructured":"Bellotti, F., Lazzaroni, L., Capello, A., Cossu, M., De Gloria, A., Berta, R.: Explaining a Deep Reinforcement Learning (DRL)-Based Automated Driving Agent in Highway Simulations. IEEE Access. 11, 28522\u201328550 (2023). https:\/\/doi.org\/10.1109\/ACCESS.2023.3259544.","journal-title":"IEEE Access."},{"key":"17_CR10","doi-asserted-by":"publisher","unstructured":"Katz, G., Huang, D.A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S., Wu, H., Zelji\u0107, A., Dill, D.L., Kochenderfer, M.J., Barrett, C.: The Marabou Framework for Verification and Analysis of Deep Neural Networks. In: Dillig, I. and Tasiran, S. (eds.) Computer Aided Verification. pp. 443\u2013452. Springer International Publishing (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_26.","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"17_CR11","doi-asserted-by":"publisher","unstructured":"Lazzaroni, L., Pighetti, A., Bellotti, F., Capello, A., Cossu, M., Berta, R.: Automated Parking in CARLA: A Deep Reinforcement Learning-Based Approach. In: Bellotti, F., Grammatikakis, M.D., Mansour, A., Ruo Roch, M., Seepold, R., Solanas, A., and Berta, R. (eds.) Applications in Electronics Pervading Industry, Environment and Society. pp. 352\u2013357. Springer Nature (2024). https:\/\/doi.org\/10.1007\/978-3-031-48121-5_50.","DOI":"10.1007\/978-3-031-48121-5_50"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"7866","DOI":"10.3390\/s23187866","volume":"23","author":"A Capello","year":"2023","unstructured":"Capello, A., Fresta, M., Bellotti, F., Haghighi, H., Hiller, J., Mozaffari, S., Berta, R.: Exploiting Big Data for Experiment Reporting: The Hi-Drive Collaborative Research Project Case. Sensors. 23, 7866 (2023). https:\/\/doi.org\/10.3390\/s23187866.","journal-title":"Sensors."},{"key":"17_CR13","doi-asserted-by":"publisher","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: CARLA: An Open Urban Driving Simulator, http:\/\/arxiv.org\/abs\/1711.03938, (2017). https:\/\/doi.org\/10.48550\/arXiv.1711.03938.","DOI":"10.48550\/arXiv.1711.03938"},{"key":"17_CR14","doi-asserted-by":"publisher","unstructured":"Amir, G., Wu, H., Barrett, C., Katz, G.: An SMT-Based Approach for Verifying Binarized Neural Networks. In: Groote, J.F. and Larsen, K.G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. pp. 203\u2013222. Springer International Publishing (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_11.","DOI":"10.1007\/978-3-030-72013-1_11"},{"key":"17_CR15","doi-asserted-by":"publisher","unstructured":"Wang, H., Liu, J., Chen, X., Wang, X., Li, P., Yin, W.: DIG-MILP: a Deep Instance Generator for Mixed-Integer Linear Programming with Feasibility Guarantee, http:\/\/arxiv.org\/abs\/2310.13261, (2023). https:\/\/doi.org\/10.48550\/arXiv.2310.13261.","DOI":"10.48550\/arXiv.2310.13261"},{"key":"17_CR16","unstructured":"Lew, T., Pavone, M.: Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling, http:\/\/arxiv.org\/abs\/2008.10180, (2020)."},{"key":"17_CR17","doi-asserted-by":"publisher","unstructured":"Henriksen, P., Lomuscio, A.: Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. In: ECAI 2020. pp. 2513\u20132520. IOS Press (2020). https:\/\/doi.org\/10.3233\/FAIA200385.","DOI":"10.3233\/FAIA200385"},{"key":"17_CR18","unstructured":"Henriksen, P., Hammernik, K., Rueckert, D., Lomuscio, A.: Bias Field Robustness Verification of Large Neural Image Classifiers. In: BMVC. p. 202 (2021)."},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Wu, H., Isac, O., Zelji\u0107, A., Tagomori, T., Daggitt, M., Kokke, W., Refaeli, I., Amir, G., Julian, K., Bassan, S., Huang, P., Lahav, O., Wu, M., Zhang, M., Komendantskaya, E., Katz, G., Barrett, C.: Marabou 2.0: A Versatile Formal Analyzer of Neural Networks, http:\/\/arxiv.org\/abs\/2401.14461, (2024).","DOI":"10.1007\/978-3-031-65630-9_13"},{"key":"17_CR20","doi-asserted-by":"publisher","unstructured":"Grese, J.M., Pasareanu, C., Pakdamanian, E.: Formal Analysis of a Neural Network Predictor inShared-Control Autonomous Driving. In: AIAA Scitech 2021 Forum. American Institute of Aeronautics and Astronautics. https:\/\/doi.org\/10.2514\/6.2021-1580.","DOI":"10.2514\/6.2021-1580"},{"key":"17_CR21","doi-asserted-by":"publisher","unstructured":"Liu, C., Cofer, D., Osipychev, D.: Verifying an\u00a0Aircraft Collision Avoidance Neural Network with\u00a0Marabou. In: Rozier, K.Y. and Chaudhuri, S. (eds.) NASA Formal Methods. pp. 79\u201385. Springer Nature (2023). https:\/\/doi.org\/10.1007\/978-3-031-33170-1_5.","DOI":"10.1007\/978-3-031-33170-1_5"},{"key":"17_CR22","unstructured":"Welcome to PhysX \u2014 NVIDIA PhysX SDK 3.4.0 Documentation, https:\/\/docs.nvidia.com\/gameworks\/content\/gameworkslibrary\/physx\/guide\/Manual\/Introduction.html, last accessed 2024\/09\/12."},{"key":"17_CR23","doi-asserted-by":"publisher","unstructured":"Tsiligkaridis, T., Tsiligkaridis, A.: Diverse Gaussian Noise Consistency Regularization for Robustness and Uncertainty Calibration, http:\/\/arxiv.org\/abs\/2104.01231, (2023). https:\/\/doi.org\/10.48550\/arXiv.2104.01231.","DOI":"10.48550\/arXiv.2104.01231"},{"key":"17_CR24","doi-asserted-by":"publisher","unstructured":"Jang, G., Lee, W., Son, S., Lee, K.M.: C2N: Practical Generative Noise Modeling for Real-World Denoising, http:\/\/arxiv.org\/abs\/2202.09533, (2022). https:\/\/doi.org\/10.48550\/arXiv.2202.09533.","DOI":"10.48550\/arXiv.2202.09533"},{"key":"17_CR25","doi-asserted-by":"publisher","unstructured":"Pipkorn, L., Tivesten, E., Flannagan, C., Dozza, M.: Driver Response to Take-Over Requests in Real Traffic. IEEE Trans. Hum.-Mach. Syst. 53, 823\u2013833 (2023). https:\/\/doi.org\/10.1109\/THMS.2023.3304003.","DOI":"10.1109\/THMS.2023.3304003"}],"container-title":["Lecture Notes in Electrical Engineering","Applications in Electronics Pervading Industry, Environment and Society"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-84100-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,8]],"date-time":"2025-03-08T00:00:05Z","timestamp":1741392005000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-84100-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031840999","9783031841002"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-84100-2_17","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"value":"1876-1100","type":"print"},{"value":"1876-1119","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"8 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ApplePies","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications in Electronics Pervading Industry, Environment and Society","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"19 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"applepies2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}