{"id":"https://openalex.org/W4376167213","doi":"https://doi.org/10.4230/oasics.aeic.2026.4","title":"HASCO: A Hybrid AI Simulation Compiler for Semantic Accident Reconstruction","display_name":"HASCO: A Hybrid AI Simulation Compiler for Semantic Accident Reconstruction","publication_year":2023,"publication_date":"2023-05-10","ids":{"openalex":"https://openalex.org/W4376167213","doi":"https://doi.org/10.4230/oasics.aeic.2026.4"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2305.06018","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2305.06018","pdf_url":"https://arxiv.org/pdf/2305.06018","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2305.06018","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Deng, Yao","orcid":"https://orcid.org/0000-0002-9762-7058"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Deng, Yao","raw_affiliation_strings":["Macquarie University"],"raw_orcid":"https://orcid.org/0000-0002-9762-7058","affiliations":[{"raw_affiliation_string":"Macquarie University","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.812,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.79069134,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9860000014305115,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9860000014305115,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9614999890327454,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9573000073432922,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7179809212684631},{"id":"https://openalex.org/keywords/troubleshooting","display_name":"Troubleshooting","score":0.6133697628974915},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6064404249191284},{"id":"https://openalex.org/keywords/digital-subscriber-line","display_name":"Digital subscriber line","score":0.5992989540100098},{"id":"https://openalex.org/keywords/scenario-testing","display_name":"Scenario testing","score":0.584058940410614},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5178866386413574},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.5176210999488831},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.49900150299072266},{"id":"https://openalex.org/keywords/rule-based-system","display_name":"Rule-based system","score":0.4503374397754669},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4401164948940277},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.4296843409538269},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4293235242366791},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4180355370044708},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.417687326669693},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3273278474807739},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3215305209159851},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2734057307243347},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.24752408266067505}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7179809212684631},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.6133697628974915},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6064404249191284},{"id":"https://openalex.org/C201374245","wikidata":"https://www.wikidata.org/wiki/Q104534","display_name":"Digital subscriber line","level":2,"score":0.5992989540100098},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.584058940410614},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5178866386413574},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.5176210999488831},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.49900150299072266},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.4503374397754669},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4401164948940277},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.4296843409538269},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4293235242366791},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4180355370044708},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.417687326669693},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3273278474807739},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3215305209159851},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2734057307243347},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.24752408266067505},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"pmh:oai:arXiv.org:2305.06018","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2305.06018","pdf_url":"https://arxiv.org/pdf/2305.06018","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:25922","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AEiC.2026.4","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol143-aeic2026/OASIcs.AEiC.2026.4/OASIcs.AEiC.2026.4.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:doi:10.4230/oasics.aeic.2026.4","is_oa":true,"landing_page_url":"https://proceedings.mlr.press/v78/dosovitskiy17a.html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"doi:10.48550/arxiv.2305.06018","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2305.06018","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/oasics.aeic.2026.4","is_oa":true,"landing_page_url":"https://doi.org/10.4230/oasics.aeic.2026.4","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""},{"id":"doi:10.5281/zenodo.13738768","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13738768","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.5281/zenodo.13738769","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13738769","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.5281/zenodo.14306298","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14306298","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.5281/zenodo.14346539","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14346539","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2305.06018","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2305.06018","pdf_url":"https://arxiv.org/pdf/2305.06018","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5099999904632568}],"awards":[],"funders":[{"id":"https://openalex.org/F4320315803","display_name":"Centres de Recerca de Catalunya","ror":null},{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W87461448","https://openalex.org/W2970089253","https://openalex.org/W4309227563","https://openalex.org/W1567814420","https://openalex.org/W2947911386","https://openalex.org/W3188516938","https://openalex.org/W2125022076","https://openalex.org/W3185403326","https://openalex.org/W2964728696","https://openalex.org/W4288411761"],"abstract_inverted_index":{"Recent":[0],"incidents":[1],"with":[2,121],"autonomous":[3,20],"vehicles":[4],"highlight":[5],"the":[6,83,168],"need":[7],"for":[8,19,101],"rigorous":[9],"testing":[10],"to":[11,51,74,85,113,162,170],"ensure":[12],"safety":[13],"and":[14,78,87,98,135,145,167],"robustness.":[15],"Constructing":[16],"test":[17,36,89],"scenarios":[18,37,90,115,123],"driving":[21],"systems":[22],"(ADSs),":[23],"however,":[24],"is":[25],"labor-intensive.":[26],"We":[27],"propose":[28],"TARGET,":[29],"an":[30,163],"end-to-end":[31],"framework":[32],"that":[33],"automatically":[34],"generates":[35,142],"from":[38,54,125],"traffic":[39,55,127],"rules.":[40,56],"To":[41,57],"address":[42],"complexity,":[43],"we":[44,67],"leverage":[45],"a":[46,69,92],"Large":[47],"Language":[48],"Model":[49],"(LLM)":[50],"extract":[52],"knowledge":[53],"mitigate":[58],"hallucinations":[59],"caused":[60],"by":[61,157],"large":[62],"context":[63],"during":[64],"input":[65],"processing,":[66],"introduce":[68],"domain-specific":[70],"language":[71],"(DSL)":[72],"designed":[73],"be":[75],"syntactically":[76],"simple":[77],"compositional.":[79],"This":[80],"design":[81],"allows":[82],"LLM":[84],"learn":[86],"generate":[88],"in":[91,116],"modular":[93],"manner":[94],"while":[95],"enabling":[96],"syntactic":[97],"semantic":[99],"validation":[100],"each":[102,139],"component.":[103],"Based":[104],"on":[105],"these":[106],"validated":[107],"representations,":[108],"TARGET":[109,129,141],"synthesizes":[110],"executable":[111],"scripts":[112],"render":[114],"simulation.":[117],"Evaluated":[118],"seven":[119],"ADSs":[120],"284":[122],"derived":[124],"54":[126],"rules,":[128],"uncovered":[130],"610":[131],"rule":[132],"violations,":[133],"collisions,":[134],"other":[136,169],"issues.":[137],"For":[138],"violation,":[140],"scenario":[143],"recordings":[144],"detailed":[146],"logs,":[147],"aiding":[148],"root":[149],"cause":[150],"analysis.":[151],"Two":[152],"identified":[153],"issues":[154],"were":[155],"confirmed":[156],"ADS":[158,172],"developers:":[159],"one":[160],"linked":[161],"existing":[164],"bug":[165],"report":[166],"limited":[171],"functionality.":[173]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-17T08:01:34.144755","created_date":"2023-05-12T00:00:00"}