{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:00Z","timestamp":1779087780749,"version":"3.51.4"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031606977","type":"print"},{"value":"9783031606984","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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-3-031-60698-4_15","type":"book-chapter","created":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:01:51Z","timestamp":1716768111000},"page":"259-278","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Tree-Based Scenario Classification"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1769-3486","authenticated-orcid":false,"given":"Till","family":"Schallau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6265-6641","authenticated-orcid":false,"given":"Stefan","family":"Naujokat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5858-0659","authenticated-orcid":false,"given":"Fiona","family":"Kullmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9524-4459","authenticated-orcid":false,"given":"Falk","family":"Howar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,26]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Amersbach, C., Winner, H.: Defining required and feasible test coverage for scenario-based validation of highly automated vehicles. In: ITSC 2019, pp. 425\u2013430. IEEE, New York (2019). https:\/\/doi.org\/10.1109\/itsc.2019.8917534","DOI":"10.1109\/itsc.2019.8917534"},{"key":"15_CR2","unstructured":"Association for Standardization of Automation and Measuring Systems: ASAM OpenODD: Concept Paper v1.0 (2021). https:\/\/www.asam.net\/index.php?eID=dumpFile &t=f &f=4544 &token=1260ce1c4f0afdbe18261f7137c689b1d9c27576"},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2699444","volume":"62","author":"D Basin","year":"2015","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Z\u0103linescu, E.: Monitoring metric first-order temporal properties. J. ACM 62(2), 1\u201345 (2015). https:\/\/doi.org\/10.1145\/2699444","journal-title":"J. ACM"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"10","DOI":"10.3390\/aerospace5010010","volume":"5","author":"B Chhaya","year":"2018","unstructured":"Chhaya, B., Jafer, S., Durak, U.: Formal verification of simulation scenarios in aviation scenario definition language (ASDL). Aerospace 5(1), 10 (2018). https:\/\/doi.org\/10.3390\/aerospace5010010","journal-title":"Aerospace"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-030-03769-7_23","volume-title":"RV 2018","author":"A Dokhanchi","year":"2018","unstructured":"Dokhanchi, A., Amor, H.B., Deshmukh, J.V., Fainekos, G.: Evaluating perception systems for autonomous vehicles using quality temporal logic. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 409\u2013416. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_23"},{"key":"15_CR6","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: CARLA: an open urban driving simulator. In: PMLR 2017, vol. 78, pp. 1\u201316. PMLR (2017), https:\/\/proceedings.mlr.press\/v78\/dosovitskiy17a.html"},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Esterle, K., Gressenbuch, L., Knoll, A.C.: Formalizing traffic rules for machine interpretability. In: CAVS 2020, pp.\u00a01\u20137. IEEE (2020). https:\/\/doi.org\/10.1109\/CAVS51000.2020.9334599","DOI":"10.1109\/CAVS51000.2020.9334599"},{"key":"15_CR8","doi-asserted-by":"publisher","unstructured":"Fadadu, S., et al.: Multi-view fusion of sensor data for improved perception and prediction in autonomous driving. In: WACV 2022. IEEE, New York (2022). https:\/\/doi.org\/10.1109\/wacv51458.2022.00335","DOI":"10.1109\/wacv51458.2022.00335"},{"key":"15_CR9","doi-asserted-by":"publisher","unstructured":"Felbinger, H., et al.: Comparing two systematic approaches for testing automated driving functions. In: ICCVE 2019. IEEE, New York (2019). https:\/\/doi.org\/10.1109\/iccve45908.2019.8965209","DOI":"10.1109\/iccve45908.2019.8965209"},{"key":"15_CR10","unstructured":"Giannakopoulou, D., Pressburger, T., Mavridou, A., Rhein, J., Schumann, J., Shi, N.: Formal requirements elicitation with FRET. In: REFSQ 2020 (2020). https:\/\/ceur-ws.org\/Vol-2584\/PT-paper4.pdf"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-44429-7_2","volume-title":"REFSQ 2020","author":"D Giannakopoulou","year":"2020","unstructured":"Giannakopoulou, D., Pressburger, T., Mavridou, A., Schumann, J.: Generation of formal requirements from structured natural language. In: Madhavji, N., Pasquale, L., Ferrari, A., Gnesi, S. (eds.) REFSQ 2020. LNCS, vol. 12045, pp. 19\u201335. Springer, Heidelberg (2020). https:\/\/doi.org\/10.1007\/978-3-030-44429-7_2"},{"key":"15_CR12","unstructured":"Hartjen, L., Philipp, R., Schuldt, F., Friedrich, B.: Saturation effects in recorded maneuver data for the test of automated driving. 13. Uni-DAS e.V. Workshop Fahrerassistenz und automatisiertes Fahren pp. 74\u201383 (2020). https:\/\/www.uni-das.de\/images\/pdf\/fas-workshop\/2020\/FAS_2020_HARTJEN.pdf"},{"key":"15_CR13","unstructured":"ISO Central Secretary: Road vehicles - functional safety - part 1: Vocabulary. Standard ISO 26262-1:2018, International Organization for Standardization, Geneva, CH (2018). https:\/\/www.iso.org\/standard\/68383.html"},{"key":"15_CR14","unstructured":"ISO Central Secretary: Road vehicles - safety of the intended functionality. Standard ISO 21448:2022, International Organization for Standardization, Geneva, CH (2022). https:\/\/www.iso.org\/standard\/77490.html"},{"key":"15_CR15","doi-asserted-by":"publisher","unstructured":"Jafer, S., Chhaya, B., Durak, U.: Graphical specification of flight scenarios with aviation scenario definition language (ASDL). In: AIAA Modeling and Simulation Technologies Conference. American Institute of Aeronautics and Astronautics (2017). https:\/\/doi.org\/10.2514\/6.2017-1311","DOI":"10.2514\/6.2017-1311"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-031-43681-9_9","volume-title":"FMICS 2023","author":"C Johannsen","year":"2023","unstructured":"Johannsen, C., Kempa, B., Jones, P.H., Rozier, K.Y., Wongpiromsarn, T.: Impossible made possible: encoding intractable specifications via implied domain constraints. In: Cimatti, A., Titolo, L. (eds.) FMICS 2023, vol. 14290, pp. 151\u2013169. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-43681-9_9"},{"key":"15_CR17","doi-asserted-by":"publisher","unstructured":"Li, C., Cheng, C.H., Sun, T., Chen, Y., Yan, R.: ComOpT: combination and optimization for testing autonomous driving systems. In: ICRA 2022. IEEE, New York (2022). https:\/\/doi.org\/10.1109\/icra46639.2022.9811794","DOI":"10.1109\/icra46639.2022.9811794"},{"key":"15_CR18","doi-asserted-by":"publisher","unstructured":"Maierhofer, S., Moosbrugger, P., Althoff, M.: Formalization of intersection traffic rules in temporal logic. In: IV 2022. IEEE, New York (2022). https:\/\/doi.org\/10.1109\/iv51971.2022.9827153, IV 2022","DOI":"10.1109\/iv51971.2022.9827153"},{"key":"15_CR19","doi-asserted-by":"publisher","unstructured":"Maierhofer, S., Rettinger, A.K., Mayer, E.C., Althoff, M.: Formalization of interstate traffic rules in temporal logic. In: IV 2020., pp. 752\u2013759. IEEE, New York (2020). https:\/\/doi.org\/10.1109\/IV47402.2020.9304549, IV 2020","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"15_CR20","doi-asserted-by":"publisher","unstructured":"Mariani, R.: An overview of autonomous vehicles safety. In: 2018 IEEE International Reliability Physics Symposium (IRPS). IEEE, New York (2018). https:\/\/doi.org\/10.1109\/irps.2018.8353618","DOI":"10.1109\/irps.2018.8353618"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1007\/978-3-319-47169-3_52","volume-title":"ISoLA 2016","author":"M Mauritz","year":"2016","unstructured":"Mauritz, M., Howar, F., Rausch, A.: Assuring the safety of advanced driver assistance systems through a combination of simulation and runtime monitoring. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 672\u2013687. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_52"},{"key":"15_CR22","doi-asserted-by":"publisher","unstructured":"Philipp, R., Zhu, Z., Fuchs, J., Hartjen, L., Schuldt, F., Howar, F.: Automated 3d object reference generation for the evaluation of autonomous vehicle perception. In: ICSRS 2021. IEEE, New York (2021). https:\/\/doi.org\/10.1109\/icsrs53853.2021.9660660","DOI":"10.1109\/icsrs53853.2021.9660660"},{"key":"15_CR23","doi-asserted-by":"publisher","unstructured":"Riedmaier, S., Ponn, T., Ludwig, D., Schick, B., Diermeyer, F.: Survey on scenario-based safety assessment of automated vehicles. IEEE Access 8, 87456\u201387477 (2020).https:\/\/doi.org\/10.1109\/ACCESS.2020.2993730","DOI":"10.1109\/ACCESS.2020.2993730"},{"key":"15_CR24","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-319-66845-1_4","volume-title":"iFM 2017","author":"A Rizaldi","year":"2017","unstructured":"Rizaldi, A., et al.: Formalising and monitoring traffic rules for autonomous vehicles in isabelle\/HOL. In: Polikarpova, N., Schneider, S. (eds.) iFM 2017. LNCS, vol. 10510, pp. 50\u201366. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-66845-1_4"},{"key":"15_CR25","doi-asserted-by":"publisher","unstructured":"Saberi, A.K., Hegge, J., Fruehling, T., Groote, J.F.: Beyond SOTIF: black swans and formal methods. In: SysCon 2020, pp. 1\u20135. IEEE, New York (2020). https:\/\/doi.org\/10.1109\/SysCon47679.2020.9275888","DOI":"10.1109\/SysCon47679.2020.9275888"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-031-56776-6_6","volume-title":"EDCC 2024","author":"T Schallau","year":"2024","unstructured":"Schallau, T., M\u00e4ckel, D., Naujokat, S., Howar, F.: STARS: a tool for measuring scenario coverage when testing autonomous robotic systems. In: Sangchoolie, B., Adler, R., Hawkins, R., Schleiss, P., Arteconi, A., Mancini, A. (eds.) EDCC 2024. LNCS, vol. 2078, pp. 62\u201370. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-56776-6_6"},{"key":"15_CR27","doi-asserted-by":"publisher","unstructured":"Schallau, T., Naujokat, S.: Validating behavioral requirements, conditions, and rules of autonomous systems with scenario-based testing. Electron. Commun. EASST 82 (2023). https:\/\/doi.org\/10.14279\/tuj.eceasst.82.1222","DOI":"10.14279\/tuj.eceasst.82.1222"},{"key":"15_CR28","doi-asserted-by":"publisher","unstructured":"Schallau, T., Naujokat, S., Kullmann, F., Howar, F.: Tree-based scenario classification: a formal framework for coverage analysis on test drives of autonomous vehicle. https:\/\/doi.org\/10.48550\/arXiv.2307.05106","DOI":"10.48550\/arXiv.2307.05106"},{"key":"15_CR29","doi-asserted-by":"publisher","unstructured":"Schallau, T., Naujokat, S., Kullmann, F., Howar, F.: Tree-based scenario classification: a formal framework for coverage analysis on test drives of autonomous vehicles - replication artifact (2023). https:\/\/doi.org\/10.5281\/zenodo.8131947","DOI":"10.5281\/zenodo.8131947"},{"key":"15_CR30","doi-asserted-by":"publisher","unstructured":"Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: a survey and a formal semantics. In: RE 2006. IEEE, New York (2006). https:\/\/doi.org\/10.1109\/re.2006.23","DOI":"10.1109\/re.2006.23"},{"key":"15_CR31","doi-asserted-by":"publisher","unstructured":"Scholtes, M., et al.: 6-layer model for a structured description and categorization of urban traffic and environment. IEEE Access 9, 59131\u201359147 (2021). https:\/\/doi.org\/10.1109\/access.2021.3072739","DOI":"10.1109\/access.2021.3072739"},{"key":"15_CR32","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-23820-3_15","volume-title":"RV 2015","author":"J Schumann","year":"2015","unstructured":"Schumann, J., Moosbrugger, P., Rozier, K.Y.: R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 233\u2013249. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_15"},{"key":"15_CR33","doi-asserted-by":"publisher","unstructured":"Sch\u00fctt, B., Steimle, M., Kramer, B., Behnecke, D., Sax, E.: A taxonomy for quality in simulation-based development and testing of automated driving systems. IEEE Access 10, 18631\u201318644 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3149542","DOI":"10.1109\/ACCESS.2022.3149542"},{"key":"15_CR34","unstructured":"The British Standards Institution: Operational Design Domain (ODD) taxonomy for an automated driving system (ADS) - Specification. Specification PAS 1883:2020 (2020). https:\/\/www.bsigroup.com\/globalassets\/localfiles\/en-gb\/cav\/pas1883.pdf"},{"key":"15_CR35","doi-asserted-by":"publisher","unstructured":"Ulbrich, S., Menzel, T., Reschka, A., Schuldt, F., Maurer, M.: Defining and substantiating the terms scene, situation, and scenario for automated driving. In: ITSC 2015. IEEE, New York (2015). https:\/\/doi.org\/10.1109\/itsc.2015.164","DOI":"10.1109\/itsc.2015.164"},{"key":"15_CR36","doi-asserted-by":"publisher","unstructured":"Velasco-Hernandez, G., Yeong, D.J., Barry, J., Walsh, J.: Autonomous driving architectures, perception and data fusion: a review. In: ICCP 2020. IEEE, New York (2020). https:\/\/doi.org\/10.1109\/iccp51029.2020.9266268","DOI":"10.1109\/iccp51029.2020.9266268"},{"key":"15_CR37","doi-asserted-by":"publisher","unstructured":"Wieringa, R.J.: Single-case mechanism experiments. In: Design Science Methodology for Information Systems and Software Engineering, pp. 247\u2013267. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43839-8_18","DOI":"10.1007\/978-3-662-43839-8_18"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-60698-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:03:30Z","timestamp":1716768210000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-60698-4_15"}},"subtitle":["A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems"],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031606977","9783031606984"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-60698-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"26 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moffett Field, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}