{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:39:33Z","timestamp":1766050773100,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031773815"},{"type":"electronic","value":"9783031773822"}],"license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"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-77382-2_25","type":"book-chapter","created":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T19:26:29Z","timestamp":1732562789000},"page":"441-460","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Leveraging Contracts for\u00a0Failure Monitoring and\u00a0Identification in\u00a0Automated Driving Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-2189-7026","authenticated-orcid":false,"given":"Srajan","family":"Goyal","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3311-0893","authenticated-orcid":false,"given":"Alberto","family":"Griggio","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9091-7899","authenticated-orcid":false,"given":"Stefano","family":"Tonetta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,26]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","unstructured":"Astorga, A., Hsieh, C., Madhusudan, P., Mitra, S.: Perception contracts for safety of ML-enabled systems. Proc. ACM Program. Lang. 7(OOPSLA2) (2023). https:\/\/doi.org\/10.1145\/3622875","DOI":"10.1145\/3622875"},{"key":"25_CR2","unstructured":"CARLA Team: CARLA Autonomous Driving Leaderboard. https:\/\/leaderboard.carla.org\/leaderboard\/. Accessed 30 Aug 2023"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R., et al.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_22"},{"key":"25_CR4","doi-asserted-by":"publisher","unstructured":"Chen, D., Krahenbuhl, P.: Learning from all vehicles. In: CVPR, pp. 17201\u201317210. IEEE, June 2022. https:\/\/doi.org\/10.1109\/CVPR52688.2022.01671","DOI":"10.1109\/CVPR52688.2022.01671"},{"key":"25_CR5","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Tonetta, S.: Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Program. 97, 333\u2013348 (2015). https:\/\/doi.org\/10.1016\/j.scico.2014.06.011","DOI":"10.1016\/j.scico.2014.06.011"},{"key":"25_CR6","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Dorigatti, M., Tonetta, S.: OCRA: a tool for checking the refinement of temporal contracts. In: ASE, vol.\u00a04144, pp. 702\u2013705. IEEE\/ACM, November 2013. https:\/\/doi.org\/10.1109\/ase.2013.6693137","DOI":"10.1109\/ase.2013.6693137"},{"key":"25_CR7","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Tonetta, S.: A property-based proof system for contract-based design. In: 2012 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 21\u201328. IEEE, September 2012. https:\/\/doi.org\/10.1109\/seaa.2012.68","DOI":"10.1109\/seaa.2012.68"},{"key":"25_CR8","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"25_CR9","series-title":"Springer Proceedings in Advanced Robotics","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1007\/978-3-030-44051-0_54","volume-title":"Algorithmic Foundations of Robotics XIII","author":"J DeCastro","year":"2020","unstructured":"DeCastro, J., Liebenwein, L., Vasile, C.-I., Tedrake, R., Karaman, S., Rus, D.: Counterexample-guided safety contracts for autonomous driving. In: Morales, M., Tapia, L., S\u00e1nchez-Ante, G., Hutchinson, S. (eds.) WAFR 2018. SPAR, vol. 14, pp. 939\u2013955. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-44051-0_54"},{"key":"25_CR10","doi-asserted-by":"publisher","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: CARLA: an open urban driving simulator. In: Levine, S., Vanhoucke, V., Goldberg, K. (eds.) Proceedings of the 1st Annual Conference on Robot Learning. PMLR, vol.\u00a078, pp. 1\u201316, 13\u201315 November 2017. https:\/\/doi.org\/10.48550\/arXiv.1711.03938","DOI":"10.48550\/arXiv.1711.03938"},{"key":"25_CR11","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., et al.: 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":"25_CR12","unstructured":"Fratini, S., et\u00a0al.: Verification and validation of autonomous systems with embedded AI: the VIVAS approach. In: ASTRA. ESA (2023). https:\/\/az659834.vo.msecnd.net\/eventsairwesteuprod\/production-atpi-public\/070740b67e5b4a32a9be94228c9ac40d"},{"key":"25_CR13","doi-asserted-by":"publisher","unstructured":"Fremont, D.J., et al.: Scenic: a language for scenario specification and data generation. machine learning 112(10), 3805\u20133849 (2022). https:\/\/doi.org\/10.1007\/s10994-021-06120-5","DOI":"10.1007\/s10994-021-06120-5"},{"key":"25_CR14","doi-asserted-by":"publisher","unstructured":"Ghosh, S., et al.: Diagnosis and repair for synthesis from signal temporal logic specifications. In: HSCC, HSCC 2016, pp. 31\u201340. ACM, April 2016. https:\/\/doi.org\/10.1145\/2883817.2883847","DOI":"10.1145\/2883817.2883847"},{"key":"25_CR15","doi-asserted-by":"publisher","unstructured":"Goyal, S., Griggio, A., Kimblad, J., Tonetta, S.: Automatic generation of scenarios for system-level simulation-based verification of autonomous driving systems. In: FMAS@iFM. EPTCS, vol.\u00a0395, pp. 113\u2013129 (2023). https:\/\/doi.org\/10.4204\/EPTCS.395.8","DOI":"10.4204\/EPTCS.395.8"},{"key":"25_CR16","doi-asserted-by":"publisher","unstructured":"Ivanov, R., Jothimurugan, K., Hsu, S., Vaidya, S., Alur, R., Bastani, O.: Compositional learning and verification of neural network controllers. ACM Trans. Embed. Comput. Syst. 20(5s), 1\u201326 (2021). https:\/\/doi.org\/10.1145\/3477023","DOI":"10.1145\/3477023"},{"issue":"5","key":"25_CR17","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Program. 78(5), 293\u2013303 (2009). https:\/\/doi.org\/10.1016\/j.jlap.2008.08.004","journal-title":"J. Logic Algebraic Program."},{"key":"25_CR18","doi-asserted-by":"publisher","unstructured":"Liu, S., Saoud, A., Jagtap, P., Dimarogonas, D.V., Zamani, M.: Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts. In: CDC. IEEE, December 2022. https:\/\/doi.org\/10.1109\/cdc51059.2022.9992715","DOI":"10.1109\/cdc51059.2022.9992715"},{"key":"25_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-030-71500-7_9","volume-title":"Fundamental Approaches to Software Engineering","author":"R Majumdar","year":"2021","unstructured":"Majumdar, R., Mathur, A., Pirron, M., Stegner, L., Zufferey, D.: Paracosm: a test framework for autonomous driving simulations. In: FASE 2021. LNCS, vol. 12649, pp. 172\u2013195. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-71500-7_9"},{"key":"25_CR20","doi-asserted-by":"publisher","unstructured":"Mallozzi, P., Incer, I., Nuzzo, P., Sangiovanni-Vincentelli, A.: Contract-based specification refinement and repair for mission planning. In: FormaliSE, vol.\u00a045, pp. 29\u201338. IEEE, May 2023. https:\/\/doi.org\/10.1109\/formalise58978.2023.00011","DOI":"10.1109\/formalise58978.2023.00011"},{"key":"25_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1992). https:\/\/doi.org\/10.1007\/978-1-4612-0931-7"},{"key":"25_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"25_CR23","doi-asserted-by":"publisher","unstructured":"P\u0103s\u0103reanu, C.S., et al.: Closed-loop analysis of vision-based autonomous systems: a case study. In: Enea, C., Lal, A. (eds.) CAV 2023. LNCS, pp. 289\u2013303, vol. 13964, Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37706-8_15","DOI":"10.1007\/978-3-031-37706-8_15"},{"key":"25_CR24","unstructured":"Phan-Minh, T.: Contract-based design: theories and applications. Ph.D. thesis, California Institute of Technology (2021)"},{"key":"25_CR25","doi-asserted-by":"publisher","unstructured":"Shao, H., Wang, L., Chen, R., Li, H., Liu, Y.: Safety-enhanced autonomous driving using interpretable sensor fusion transformer. In: Liu, K., Kulic, D., Ichnowski, J. (eds.) Proceedings of The 6th Conference on Robot Learning, PMLR, vol.\u00a0205, pp. 726\u2013737, 14\u201318 December 2023. https:\/\/doi.org\/10.48550\/arXiv.2207.14024","DOI":"10.48550\/arXiv.2207.14024"},{"key":"25_CR26","doi-asserted-by":"publisher","unstructured":"Sharf, M., Besselink, B., Molin, A., Zhao, Q., Henrik Johansson, K.: Assume\/guarantee contracts for dynamical systems: theory and computational tools. IFAC-PapersOnLine 54(5), 25\u201330 (2021). https:\/\/doi.org\/10.1016\/j.ifacol.2021.08.469. 7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021","DOI":"10.1016\/j.ifacol.2021.08.469"},{"key":"25_CR27","doi-asserted-by":"publisher","unstructured":"Vin, E., et al.: 3D environment modeling for falsification and beyond with scenic 3.0. In: Enea, C., Lal, A. (eds.) CAV 2023. LNCS, vol. 13964, pp. 253\u2013265, Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-37706-8_13","DOI":"10.1007\/978-3-031-37706-8_13"},{"key":"25_CR28","doi-asserted-by":"publisher","unstructured":"Wu, P., Jia, X., Chen, L., Yan, J., Li, H., Qiao, Y.: Trajectory-guided control prediction for end-to-end autonomous driving: a simple yet strong baseline. In: Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K., Oh, A. (eds.) Advances in NeurIPS, vol.\u00a035, pp. 6119\u20136132. Curran Associates, Inc. (2022). https:\/\/doi.org\/10.48550\/arXiv.2206.0812","DOI":"10.48550\/arXiv.2206.0812"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-77382-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T20:03:37Z","timestamp":1732565017000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-77382-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"ISBN":["9783031773815","9783031773822"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-77382-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"26 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","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":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}