{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:22:42Z","timestamp":1759332162904,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031646256"},{"type":"electronic","value":"9783031646263"}],"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-64626-3_24","type":"book-chapter","created":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T13:01:58Z","timestamp":1720875718000},"page":"410-427","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Construction of\u00a0HD Maps for\u00a0Simulation-Based Testing of\u00a0Autonomous Driving Systems"],"prefix":"10.1007","author":[{"given":"Siqi","family":"Wang","sequence":"first","affiliation":[]},{"given":"Changwen","family":"Li","sequence":"additional","affiliation":[]},{"given":"Tiantian","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Fuqi","family":"Jia","sequence":"additional","affiliation":[]},{"given":"Rongjie","family":"Yan","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Yan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,14]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.artint.2013.01.002","volume":"196","author":"C Ans\u00f3tegui","year":"2013","unstructured":"Ans\u00f3tegui, C., Bonet, M.L., Levy, J.: Sat-based maxsat algorithms. Artif. Intell. 196, 77\u2013105 (2013)","journal-title":"Artif. Intell."},{"key":"24_CR2","unstructured":"Apache software foundation: xerces c++ parser. http:\/\/xerces.apache.org\/xerces-c\/ (2024)"},{"key":"24_CR3","unstructured":"ASAM: Opendrive v1.7.0 user guide (2021). https:\/\/www.asam.net\/standards\/detail\/opendrive"},{"key":"24_CR4","unstructured":"Baidu Apollo team: Apollo: open source autonomous driving (2017). https:\/\/github.com\/ApolloAuto\/apollo"},{"key":"24_CR5","unstructured":"BeamNG.AI: Beamng (2022). https:\/\/documentation.beamng.com\/tutorials\/ai\/"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Becker, D., Ru\u00df, F., Geller, C., Eckstein, L.: Generation of complex road networks using a simplified logical description for the validation of automated vehicles. In: IEEE ITSC, pp.\u00a01\u20137 (2020)","DOI":"10.1109\/ITSC45102.2020.9294664"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Castellano, E., Cetinkaya, A., Arcaini, P.: Analysis of road representations in search-based testing of autonomous driving systems. In: IEEE QRS, pp. 167\u2013178 (2021)","DOI":"10.1109\/QRS54544.2021.00028"},{"key":"24_CR8","unstructured":"CODE SYNTHESIS: XSD binding. https:\/\/www.codesynthesis.com\/ (2024)"},{"key":"24_CR9","unstructured":"Contra costa transportation authority: gomentum station. https:\/\/gomentumstation.net\/ (2024)"},{"key":"24_CR10","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: Carla: an open urban driving simulator. In: CoRL, pp. 1\u201316. PMLR (2017)"},{"key":"24_CR11","first-page":"527","volume":"4","author":"G Elghazaly","year":"2023","unstructured":"Elghazaly, G., Frank, R., Harvey, S., Safko, S.: High-definition maps: comprehensive survey, challenges and future perspectives. IEEE Open J. ITS 4, 527\u2013550 (2023)","journal-title":"IEEE Open J. ITS"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., et al.: Formal scenario-based testing of autonomous vehicles: from simulation to the real world. In: IEEE ITSC, pp.\u00a01\u20138 (2020)","DOI":"10.1109\/ITSC45102.2020.9294368"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Gambi, A., Mueller, M., Fraser, G.: Automatically testing self-driving cars with search-based procedural content generation. In: ACM SIGSOFT ISSTA, pp. 318\u2013328 (2019)","DOI":"10.1145\/3293882.3330566"},{"key":"24_CR14","first-page":"182","volume":"94","author":"N Kalra","year":"2016","unstructured":"Kalra, N., Paddock, S.M.: Driving to safety: how many miles of driving would it take to demonstrate autonomous vehicle reliability? Transp. Res. Part A: Policy Pract. 94, 182\u2013193 (2016)","journal-title":"Transp. Res. Part A: Policy Pract."},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Klischat, M., Liu, E.I., Holtke, F., Althoff, M.: Scenario factory: creating safety-critical traffic scenarios for automated vehicles. In: IEEE ITSC, pp.\u00a01\u20137 (2020)","DOI":"10.1109\/ITSC45102.2020.9294629"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Li, C., Cheng, C.H., Sun, T., Chen, Y., Yan, R.: Comopt: combination and optimization for testing autonomous driving systems. In: IEEE ICRA, pp. 7738\u20137744 (2022)","DOI":"10.1109\/ICRA46639.2022.9811794"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Li, C.M., Manya, F.: Maxsat, hard and soft constraints. In: Handbook of satisfiability, pp. 903\u2013927. IOS Press (2021)","DOI":"10.3233\/FAIA201007"},{"key":"24_CR18","unstructured":"MathWorks: RoadRunner (2023). https:\/\/www.mathworks.com\/products\/roadrunner.html"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Muktadir, G.M., Jawad, A., Paranjape, I., Whitehead, J., Shepelev, A.: Procedural generation of high-definition road networks for autonomous vehicle testing and traffic simulations. SAE Int. J. CAV 6(12-06-01-0007), 99\u2013120 (2022)","DOI":"10.4271\/12-06-01-0007"},{"key":"24_CR20","unstructured":"OpenStreetMap contributors: planet dump retrieved from https:\/\/planet.osm.org . https:\/\/www.openstreetmap.org (2024)"},{"key":"24_CR21","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.trf.2017.04.004","volume":"61","author":"A Richter","year":"2019","unstructured":"Richter, A., Scholz, M.: Deploying guidelines and a simplified data model to provide real world geodata in driving simulators and driving automation. Transport. Res. F: Traffic Psychol. Behav. 61, 305\u2013313 (2019)","journal-title":"Transport. Res. F: Traffic Psychol. Behav."},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Rong, G., et al.: Lgsvl simulator: a high fidelity simulator for autonomous driving. In: IEEE ITSC, pp.\u00a01\u20136 (2020)","DOI":"10.1109\/ITSC45102.2020.9294422"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Tang, Y., et al.: Route coverage testing for autonomous vehicles via map modeling. In: IEEE ICRA, pp. 11450\u201311456 (2021)","DOI":"10.1109\/ICRA48506.2021.9560890"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64626-3_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T16:17:02Z","timestamp":1741796222000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64626-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031646256","9783031646263"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64626-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"14 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Theoretical Aspects of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Guiyang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"29 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tase2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tase2024.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}