{"id":"https://openalex.org/W4414207999","doi":"https://doi.org/10.1145/3767745","title":"Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems","display_name":"Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems","publication_year":2025,"publication_date":"2025-09-15","ids":{"openalex":"https://openalex.org/W4414207999","doi":"https://doi.org/10.1145/3767745"},"language":"en","primary_location":{"id":"doi:10.1145/3767745","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767745","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3767745","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008003927","display_name":"Mir Md Sajid Sarwar","orcid":"https://orcid.org/0000-0003-0029-9252"},"institutions":[{"id":"https://openalex.org/I165998391","display_name":"Indian Association for the Cultivation of Science","ror":"https://ror.org/050p6gz73","country_code":"IN","type":"education","lineage":["https://openalex.org/I165998391"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Mir Md Sajid Sarwar","raw_affiliation_strings":["School of Mathematical and Computational sciences, Indian Association for the Cultivation of Science","School of Mathematical and Computational sciences, Indian Association for the Cultivation of Science, Kolkata, India"],"affiliations":[{"raw_affiliation_string":"School of Mathematical and Computational sciences, Indian Association for the Cultivation of Science","institution_ids":["https://openalex.org/I165998391"]},{"raw_affiliation_string":"School of Mathematical and Computational sciences, Indian Association for the Cultivation of Science, Kolkata, India","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081795281","display_name":"R. L. Ray","orcid":"https://orcid.org/0000-0002-7990-6416"},"institutions":[{"id":"https://openalex.org/I165998391","display_name":"Indian Association for the Cultivation of Science","ror":"https://ror.org/050p6gz73","country_code":"IN","type":"education","lineage":["https://openalex.org/I165998391"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rajarshi Ray","raw_affiliation_strings":["School of Mathematical and Computational Sciences, Indian Association for the Cultivation of Science","School of Mathematical and Computational Sciences, Indian Association for the Cultivation of Science, Kolkata, India"],"affiliations":[{"raw_affiliation_string":"School of Mathematical and Computational Sciences, Indian Association for the Cultivation of Science","institution_ids":["https://openalex.org/I165998391"]},{"raw_affiliation_string":"School of Mathematical and Computational Sciences, Indian Association for the Cultivation of Science, Kolkata, India","institution_ids":["https://openalex.org/I165998391"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5008003927"],"corresponding_institution_ids":["https://openalex.org/I165998391"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13496048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"6","first_page":"1","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9987999796867371,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9987999796867371,"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.9904000163078308,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9855999946594238,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/plan","display_name":"Plan (archaeology)","score":0.6912000179290771},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.6539000272750854},{"id":"https://openalex.org/keywords/waypoint","display_name":"Waypoint","score":0.6520000100135803},{"id":"https://openalex.org/keywords/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.5620999932289124},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5259000062942505},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.3799000084400177},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.3206999897956848}],"concepts":[{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.6912000179290771},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.6539000272750854},{"id":"https://openalex.org/C2781271823","wikidata":"https://www.wikidata.org/wiki/Q138081","display_name":"Waypoint","level":2,"score":0.6520000100135803},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6427000164985657},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.5620999932289124},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5259000062942505},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4526999890804291},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.3206999897956848},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C137877099","wikidata":"https://www.wikidata.org/wiki/Q1332977","display_name":"Subsequence","level":3,"score":0.2791000008583069},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27810001373291016},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C28761237","wikidata":"https://www.wikidata.org/wiki/Q7805321","display_name":"Time horizon","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C18465707","wikidata":"https://www.wikidata.org/wiki/Q5001797","display_name":"Business system planning","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C79610928","wikidata":"https://www.wikidata.org/wiki/Q1656743","display_name":"Parameter identification problem","level":3,"score":0.2547000050544739},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.25450000166893005}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3767745","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767745","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3767745","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3767745","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1504003583","https://openalex.org/W1556640741","https://openalex.org/W1561643832","https://openalex.org/W1841626152","https://openalex.org/W1995691455","https://openalex.org/W2004463571","https://openalex.org/W2025886420","https://openalex.org/W2033040247","https://openalex.org/W2040176884","https://openalex.org/W2089402206","https://openalex.org/W2104258017","https://openalex.org/W2109227373","https://openalex.org/W2109910161","https://openalex.org/W2132453167","https://openalex.org/W2147340401","https://openalex.org/W2161103575","https://openalex.org/W2162776653","https://openalex.org/W2165654401","https://openalex.org/W2279668280","https://openalex.org/W2615896489","https://openalex.org/W2758147980","https://openalex.org/W2810140051","https://openalex.org/W2901232217","https://openalex.org/W2965465457","https://openalex.org/W2974395694","https://openalex.org/W2998537884","https://openalex.org/W3037089361","https://openalex.org/W3037292241","https://openalex.org/W3040802234","https://openalex.org/W3196188255","https://openalex.org/W4224923707","https://openalex.org/W4248489389","https://openalex.org/W4296132066","https://openalex.org/W4389476204","https://openalex.org/W4403289406"],"related_works":[],"abstract_inverted_index":{"Explaining":[0],"unsolvability":[1,37,94,161],"of":[2,6,16,22,38,84,95,144,151,153,162,172,182,230],"planning":[3,25,32,39,96,107,135,146,165,238],"problems":[4,26,40,97,239],"is":[5,61],"significant":[7],"research":[8,17],"interest":[9],"in":[10,30,59,98,122,192,240],"Explainable":[11],"AI":[12,31],"Planning.":[13],"A":[14,48],"number":[15],"efforts":[18],"on":[19,127,216,236],"generating":[20],"explanations":[21],"solutions":[23],"to":[24,52,62,79,111,119,133,218],"have":[27],"been":[28],"reported":[29],"literature.":[33],"However,":[34],"explaining":[35,93],"the":[36,72,81,131,134,145,149,160,163,177,183,202,207,220,228],"remains":[41],"a":[42,88,104,169,188],"largely":[43],"open":[44],"and":[45,55,92,148,224],"understudied":[46],"problem.":[47,166],"widely":[49,189],"practiced":[50],"approach":[51],"plan":[53,120,129],"generation":[54],"automated":[56],"problem":[57,147,178,191],"solving,":[58],"general,":[60],"decompose":[63],"tasks":[64],"into":[65],"sub-problems":[66,143],"that":[67],"help":[68],"progressively":[69],"converge":[70],"towards":[71],"goal.":[73,136],"In":[74,101],"this":[75],"article,":[76],"we":[77,109,211],"propose":[78,110,168],"adopt":[80],"same":[82],"philosophy":[83],"sub-problem":[85],"identification":[86,174],"as":[87,142,156,179,197,227],"mechanism":[89],"for":[90,103,159,201],"analyzing":[91],"hybrid":[99,241],"systems.":[100],"particular,":[102],"given":[105],"unsolvable":[106,237],"problem,":[108,187],"identify":[112,219],"common":[113,185],"waypoints,":[114],"which":[115],"are":[116,209],"universal":[117],"obstacles":[118],"existence,":[121],"other":[123],"words,":[124],"they":[125],"appear":[126],"every":[128],"from":[130],"source":[132],"This":[137],"work":[138],"envisions":[139],"such":[140],"waypoints":[141,155,208],"unreachability":[150],"any":[152],"these":[154],"an":[157,180,198],"explanation":[158,229],"original":[164],"We":[167,232],"novel":[170],"method":[171],"waypoint":[173,223],"by":[175],"casting":[176],"instance":[181],"longest":[184],"subsequence":[186],"popular":[190],"computer":[193],"science,":[194],"typically":[195],"considered":[196],"illustrative":[199],"example":[200],"dynamic":[203],"programming":[204],"paradigm.":[205],"Once":[206],"identified,":[210],"perform":[212],"symbolic":[213],"reachability":[214],"analysis":[215],"them":[217],"earliest":[221],"unreachable":[222],"report":[225],"it":[226],"unsolvability.":[231],"present":[233],"experimental":[234],"results":[235],"domains.":[242]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}