{"id":"https://openalex.org/W4385438737","doi":"https://doi.org/10.24963/kr.2023/67","title":"A\u00b2CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles","display_name":"A\u00b2CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles","publication_year":2023,"publication_date":"2023-07-31","ids":{"openalex":"https://openalex.org/W4385438737","doi":"https://doi.org/10.24963/kr.2023/67"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2023/67","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/67","pdf_url":"https://proceedings.kr.org/2023/67/kr2023-0067-wang-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2023/67/kr2023-0067-wang-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100746359","display_name":"Ruolin Wang","orcid":"https://orcid.org/0000-0001-9327-3793"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ruolin Wang","raw_affiliation_strings":["University of Science and Technology of China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101229391","display_name":"Yuejiao Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuejiao Xu","raw_affiliation_strings":["University of Science and Technology of China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068172501","display_name":"Jie Peng","orcid":"https://orcid.org/0000-0002-2874-4744"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Peng","raw_affiliation_strings":["University of Science and Technology of China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061104105","display_name":"Jianmin Ji","orcid":"https://orcid.org/0000-0002-1515-0402"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianmin Ji","raw_affiliation_strings":["University of Science and Technology of China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100746359"],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0828655,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"690","last_page":"699"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973000288009644,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973000288009644,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9865999817848206,"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.7786470055580139},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.770516037940979},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.7051685452461243},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5079267621040344},{"id":"https://openalex.org/keywords/scenario-testing","display_name":"Scenario testing","score":0.41360875964164734},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.1478651463985443},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14444121718406677},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11036068201065063},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.09303662180900574}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7786470055580139},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.770516037940979},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.7051685452461243},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5079267621040344},{"id":"https://openalex.org/C80519477","wikidata":"https://www.wikidata.org/wiki/Q3532236","display_name":"Scenario testing","level":3,"score":0.41360875964164734},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1478651463985443},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14444121718406677},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11036068201065063},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.09303662180900574},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2023/67","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/67","pdf_url":"https://proceedings.kr.org/2023/67/kr2023-0067-wang-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2023/67","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/67","pdf_url":"https://proceedings.kr.org/2023/67/kr2023-0067-wang-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4385438737.pdf"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W12006093","https://openalex.org/W1663140555","https://openalex.org/W1672891595","https://openalex.org/W1965455100","https://openalex.org/W2056877664","https://openalex.org/W2086234878","https://openalex.org/W2091138122","https://openalex.org/W2152710595","https://openalex.org/W2606516936","https://openalex.org/W2736601468","https://openalex.org/W2784336697","https://openalex.org/W2791055813","https://openalex.org/W2897535010","https://openalex.org/W2910975058","https://openalex.org/W2913362569","https://openalex.org/W2958178797","https://openalex.org/W2963184890","https://openalex.org/W2963234253","https://openalex.org/W2963657083","https://openalex.org/W2970089253","https://openalex.org/W2980278735","https://openalex.org/W2989745381","https://openalex.org/W2989981704","https://openalex.org/W2991627542","https://openalex.org/W3008209689","https://openalex.org/W3017005290","https://openalex.org/W3024414633","https://openalex.org/W3047641937","https://openalex.org/W3086616174","https://openalex.org/W3089582082","https://openalex.org/W3108127520","https://openalex.org/W3133465684","https://openalex.org/W3184179613","https://openalex.org/W3196020871","https://openalex.org/W3201533109","https://openalex.org/W3206082942","https://openalex.org/W3208269198","https://openalex.org/W3209024575","https://openalex.org/W3210824169","https://openalex.org/W4230519770","https://openalex.org/W4287641114","https://openalex.org/W4289535158","https://openalex.org/W4297781990","https://openalex.org/W6637298476","https://openalex.org/W6673559633","https://openalex.org/W6738388615","https://openalex.org/W6755618520","https://openalex.org/W6772033386"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2794103424","https://openalex.org/W1996530509","https://openalex.org/W3028317537","https://openalex.org/W2389515972","https://openalex.org/W4245435724","https://openalex.org/W2023024008","https://openalex.org/W1911254468"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,30,33,39,63,78,93,119,124,129,133,154,169],"challenge":[4],"of":[5,36,42,156,165],"generating":[6,88,142,159],"safety-critical":[7,106],"scenarios":[8,18,37,44,104,117,138],"with":[9,29,148],"multiple":[10],"adversarial":[11],"vehicles":[12],"for":[13,87,136],"testing":[14],"autonomous":[15],"vehicles.":[16],"Such":[17],"must":[19],"be":[20],"plausible":[21,43,89,160],"and":[22,38,74,168],"collision-avoidable":[23],"while":[24,118,139],"resulting":[25],"in":[26,114,158],"a":[27,59,98],"collision":[28],"vehicle-under-test.":[31],"However,":[32],"tremendous":[34],"number":[35],"low":[40],"ratio":[41],"makes":[45],"previous":[46],"methods":[47],"squander":[48],"primary":[49],"resources":[50],"on":[51],"implausible":[52],"scenarios,":[53],"degenerating":[54],"their":[55],"efficiency.":[56,76],"We":[57,109,126],"propose":[58],"two-stage":[60],"framework":[61],"called":[62],"ASP-based":[64],"Avoidable":[65],"Collision":[66],"Scenario":[67],"Testbench":[68],"(A\u00b2CoST)":[69],"to":[70,101,122],"overcome":[71],"this":[72],"obstacle":[73],"improve":[75],"In":[77,92],"former":[79],"stage,":[80,95],"we":[81,96],"apply":[82],"Answer":[83],"Set":[84],"Programming":[85],"(ASP)":[86],"logical":[90,103],"scenarios.":[91,108,145,161],"latter":[94],"use":[97],"search":[99],"algorithm":[100],"refine":[102],"into":[105],"concrete":[107,116],"also":[110],"compute":[111],"collision-free":[112],"trajectories":[113],"these":[115],"vehicle-under-test":[120],"fails":[121],"avoid":[123],"collision.":[125],"empirically":[127],"show":[128],"A\u00b2CoST":[130,157],"significantly":[131],"decreases":[132],"time":[134],"consumption":[135],"simple":[137],"still":[140],"effectively":[141],"complex":[143],"critical":[144],"The":[146,162],"comparison":[147],"real-world":[149],"traffic":[150],"data":[151],"further":[152],"demonstrates":[153],"value":[155],"source":[163],"codes":[164],"our":[166],"method":[167],"baselines":[170],"are":[171],"opened":[172],"at":[173],"https://github.com/Autonomous-Driving-Safety-Project/AACoST.":[174]},"counts_by_year":[],"updated_date":"2026-01-26T23:06:41.788003","created_date":"2025-10-10T00:00:00"}