{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:20Z","timestamp":1779087800268,"version":"3.51.4"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031844591","type":"print"},{"value":"9783031844607","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-84460-7_36","type":"book-chapter","created":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T04:00:12Z","timestamp":1741233612000},"page":"572-585","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Robustness Verification for\u00a0Knowledge-Based Logic of\u00a0Risky Driving Scenes"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0674-3692","authenticated-orcid":false,"given":"Xia","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4429-2884","authenticated-orcid":false,"given":"Anda","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4176-1212","authenticated-orcid":false,"given":"Jonathan","family":"Sprinkle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8021-9923","authenticated-orcid":false,"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,7]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Wang, X., Onwumelu, S., Sprinkle, J.: Using automated vehicle data as a fitness tracker for sustainability. In: 2024 Forum for Innovative Sustainable Transportation Systems (FISTS), pp.\u00a01\u20136. IEEE (2024)","DOI":"10.1109\/FISTS60717.2024.10485592"},{"issue":"7","key":"36_CR2","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/3503914","volume":"65","author":"SA Seshia","year":"2022","unstructured":"Seshia, S.A., Sadigh, D., Sastry, S.S.: Toward verified artificial intelligence. Commun. ACM 65(7), 46\u201355 (2022)","journal-title":"Commun. ACM"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"An, Z., Wang, X., Johnson, T.T., Sprinkle, J., Ma, M.: Runtime monitoring of accidents in driving recordings with multi-type logic in empirical models. In: International Conference on Runtime Verification, pp.\u00a0376\u2013388. Springer (2023)","DOI":"10.1007\/978-3-031-44267-4_21"},{"key":"36_CR4","unstructured":"Ke, Z., Duan, H., Qian, S.: Interpretable mixture of experts for time series prediction under recurrent and non-recurrent conditions (2024)"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.3390\/infrastructures9090155","volume":"9","author":"PKR Lebaku","year":"2024","unstructured":"Lebaku, P.K.R., Gao, L., Lu, P., Sun, J.: Deep learning for pavement condition evaluation using satellite imagery. Infrastructures 9, 155 (2024)","journal-title":"Infrastructures"},{"key":"36_CR6","unstructured":"Szegedy, C., et al: Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013)"},{"key":"36_CR7","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572 (2014)"},{"key":"36_CR8","unstructured":"Chen, H., Zhang, H., Boning, D., Hsieh, C.-J.: Robust decision trees against adversarial examples. In: International Conference on Machine Learning, pp.\u00a01122\u20131131. PMLR (2019)"},{"key":"36_CR9","unstructured":"Cheng, M., Le, T., Chen, P.-Y., Yi, J., Zhang, H., Hsieh, C.-J.: Query-efficient hard-label black-box attack: an optimization-based approach. arXiv preprint arXiv:1807.04457 (2018)"},{"key":"36_CR10","unstructured":"Kantchelian, A., Tygar, J.D., Joseph, A.: Evasion and hardening of tree ensemble classifiers. In: International Conference on Machine Learning, pp.\u00a02387\u20132396. PMLR (2016)"},{"key":"36_CR11","unstructured":"Lee, J.W., et al.: Traffic control via connected and automated vehicles: an open-road field experiment with 100 CAVs. arXiv preprint arXiv:2402.17043 (2024)"},{"key":"36_CR12","doi-asserted-by":"publisher","first-page":"104695","DOI":"10.1016\/j.trc.2024.104695","volume":"165","author":"T Liu","year":"2024","unstructured":"Liu, T., Meidani, H.: End-to-end heterogeneous graph neural networks for traffic assignment. Transp. Res. Part C Emerg. Technol. 165, 104695 (2024)","journal-title":"Transp. Res. Part C Emerg. Technol."},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Richardson, A., Wang, X., Dubey, A., Sprinkle, J.: Reinforcement learning with communication latency with application to stop-and-go wave dissipation. In: 2024 IEEE Intelligent Vehicles Symposium (IV), pp.\u00a01187\u20131193. IEEE (2024)","DOI":"10.1109\/IV55156.2024.10588394"},{"issue":"5s","key":"36_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3358230","volume":"18","author":"H-D Tran","year":"2019","unstructured":"Tran, H.-D., Cai, F., Diego, M.L., Musau, P., Johnson, T.T., Koutsoukos, X.: Safety verification of cyber-physical systems with reinforcement learning control. ACM TECS 18(5s), 1\u201322 (2019)","journal-title":"ACM TECS"},{"key":"36_CR15","unstructured":"Sadigh, D., et al.: Data-driven probabilistic modeling and verification of human driver behavior. In: AAAI Spring Symposium-Technical Report, pp.\u00a056\u201361 (2014)"},{"key":"36_CR16","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: Carla: an open urban driving simulator. In: Conference on Robot Learning, pp.\u00a01\u201316. PMLR (2017)"},{"key":"36_CR17","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1007\/s13198-020-00961-4","volume":"11","author":"M Alawadhi","year":"2020","unstructured":"Alawadhi, M., Almazrouie, J., Kamil, M., Khalil, K.A.: A systematic literature review of the factors influencing the adoption of autonomous driving. Int. J. Syst. Assur. Eng. Manag. 11, 1065\u20131082 (2020)","journal-title":"Int. J. Syst. Assur. Eng. Manag."},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Tahir, Z., Alexander, R.: Coverage based testing for v &v and safety assurance of self-driving autonomous vehicles: a systematic literature review. In: 2020 IEEE International Conference on Artificial Intelligence Testing (AITest), pp.\u00a023\u201330. IEEE (2020)","DOI":"10.1109\/AITEST49225.2020.00011"},{"key":"36_CR19","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00132737","volume":"6","author":"NK Liu","year":"1996","unstructured":"Liu, N.K.: Formal verification of some potential contradictions in knowledge base using a high level net approach. Appl. Intell. 6, 325\u2013343 (1996)","journal-title":"Appl. Intell."},{"issue":"03","key":"36_CR20","doi-asserted-by":"publisher","first-page":"128","DOI":"10.36548\/jiip.2020.3.002","volume":"2","author":"TS Kumar","year":"2020","unstructured":"Kumar, T.S.: Video based traffic forecasting using convolution neural network model and transfer learning techniques. JIIP 2(03), 128\u2013134 (2020)","journal-title":"JIIP"},{"key":"36_CR21","doi-asserted-by":"publisher","first-page":"140566","DOI":"10.1109\/ACCESS.2019.2943184","volume":"7","author":"B Xu","year":"2019","unstructured":"Xu, B., Li, Q., Guo, T., Du, D.: A scenario-based approach for formal modelling and verification of safety properties in automated driving. IEEE Access 7, 140566\u2013140587 (2019)","journal-title":"IEEE Access"},{"key":"36_CR22","doi-asserted-by":"crossref","unstructured":"Ledent, P., Paigwar, A., Renzaglia, A., Mateescu, R., Laugier, C.: Formal validation of probabilistic collision risk estimation for autonomous driving. In: 2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM), pp.\u00a0433\u2013438. IEEE (2019)","DOI":"10.1109\/CIS-RAM47153.2019.9095806"},{"key":"36_CR23","doi-asserted-by":"crossref","unstructured":"Li, R., et al.: Prodeep: a platform for robustness verification of deep neural networks. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp.\u00a01630\u20131634 (2020)","DOI":"10.1145\/3368089.3417918"},{"issue":"3","key":"36_CR24","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00165-021-00548-1","volume":"33","author":"P Yang","year":"2021","unstructured":"Yang, P., et al.: Enhancing robustness verification for deep neural networks via symbolic propagation. Formal Aspects Comput. 33(3), 407\u2013435 (2021)","journal-title":"Formal Aspects Comput."},{"key":"36_CR25","unstructured":"L\u00fctjens, B., Everett, M., How, J.P.: Certified adversarial robustness for deep reinforcement learning. In: Conference on Robot Learning, pp.\u00a01328\u20131337. PMLR (2020)"},{"key":"36_CR26","unstructured":"Shi, Z., Zhang, H., Chang, K.-W., Huang, M., Hsieh, C.-J.: Robustness verification for transformers. arXiv preprint arXiv:2002.06622 (2020)"},{"key":"36_CR27","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Liu, J., Liu, G., Wang, J., Zhang, J.: Robustness verification of swish neural networks embedded in autonomous driving systems. IEEE Trans. Comput. Soc. Syst. (2022)","DOI":"10.1109\/TCSS.2022.3179659"},{"issue":"34","key":"36_CR28","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.ifacol.2019.01.055","volume":"51","author":"D Sadigh","year":"2019","unstructured":"Sadigh, D., Sastry, S.S., Seshia, S.A.: Verifying robustness of human-aware autonomous cars. IFAC-PapersOnLine 51(34), 131\u2013138 (2019)","journal-title":"IFAC-PapersOnLine"},{"key":"36_CR29","unstructured":"Chen, H., Zhang, H., Si, S., Li, Y., Boning, D., Hsieh, C.-J.: Robustness verification of tree-based models. In: Advances in Neural Information Processing Systems, vol.\u00a032 (2019)"},{"issue":"3","key":"36_CR30","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1016\/j.ejor.2022.06.057","volume":"306","author":"Y-H Kuo","year":"2023","unstructured":"Kuo, Y.-H., Leung, J.M., Yan, Y.: Public transport for smart cities: recent innovations and future challenges. Eur. J. Oper. Res. 306(3), 1001\u20131026 (2023)","journal-title":"Eur. J. Oper. Res."},{"key":"36_CR31","doi-asserted-by":"crossref","unstructured":"Fan, H., Miller, R., Huntsinger, L.: Climate change impacts on North Carolina roadway system in 2050: a systemic perspective on risk interactions and failure propagation. Sustain. Cities Soc. 99, 104822 (2023)","DOI":"10.1016\/j.scs.2023.104822"},{"key":"36_CR32","unstructured":"Xu, H., Yuan, J., Zhou, A., Xu, G., Li, W., Ye, X., et al.: GenAI-powered multi-agent paradigm for smart urban mobility: opportunities and challenges for integrating large language models (LLMS) and retrieval-augmented generation (RAG) with intelligent transportation systems. arXiv preprint arXiv:2409.00494 (2024)"},{"key":"36_CR33","unstructured":"You, J., et al.: V2X-VLM: end-to-end V2X cooperative autonomous driving through large vision-language models. arXiv preprint arXiv:2408.09251 (2024)"}],"container-title":["Lecture Notes in Networks and Systems","Advances in Information and Communication"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-84460-7_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T04:01:00Z","timestamp":1741233660000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-84460-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031844591","9783031844607"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-84460-7_36","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"value":"2367-3370","type":"print"},{"value":"2367-3389","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"7 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FICC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Future of Information and Communication Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Berlin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ficc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/saiconference.com\/FICC","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}