{"id":"https://openalex.org/W4285102556","doi":"https://doi.org/10.1109/icra46639.2022.9811980","title":"Planning via model checking with decision-tree controllers","display_name":"Planning via model checking with decision-tree controllers","publication_year":2022,"publication_date":"2022-05-23","ids":{"openalex":"https://openalex.org/W4285102556","doi":"https://doi.org/10.1109/icra46639.2022.9811980"},"language":"en","primary_location":{"id":"doi:10.1109/icra46639.2022.9811980","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra46639.2022.9811980","pdf_url":null,"source":{"id":"https://openalex.org/S4363607759","display_name":"2022 International Conference on Robotics and Automation (ICRA)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002710274","display_name":"Jonis Kiesbye","orcid":"https://orcid.org/0000-0001-6055-365X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jonis Kiesbye","raw_affiliation_strings":["Technical University of Munich,Germany","Technical University of Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080619238","display_name":"Kush Grover","orcid":"https://orcid.org/0000-0003-4575-1302"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Kush Grover","raw_affiliation_strings":["Technical University of Munich,Germany","Technical University of Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069594696","display_name":"Pranav Ashok","orcid":"https://orcid.org/0000-0002-1083-4741"},"institutions":[{"id":"https://openalex.org/I4210127444","display_name":"Fraunhofer Institute for Cognitive Systems","ror":"https://ror.org/02fez3815","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210127444","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pranav Ashok","raw_affiliation_strings":["Technical University of Munich,Germany","Fraunhofer IKS, Germany","Technical University of Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Fraunhofer IKS, Germany","institution_ids":["https://openalex.org/I4210127444"]},{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074485601","display_name":"Jan K\u0159et\u00ednsk\u00fd","orcid":"https://orcid.org/0000-0002-8122-2881"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Kretinsky","raw_affiliation_strings":["Technical University of Munich,Germany","Technical University of Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Technical University of Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5002710274"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":1.0387,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72112211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"4347","last_page":"4354"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9965999722480774,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9945999979972839,"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/debugging","display_name":"Debugging","score":0.8409363627433777},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.77471923828125},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.6759664416313171},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.6308766007423401},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6152632832527161},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5706164240837097},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.5510134696960449},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3406227231025696},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.2080422043800354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.20543283224105835},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20228537917137146},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10019680857658386},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07745656371116638}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8409363627433777},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.77471923828125},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.6759664416313171},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.6308766007423401},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6152632832527161},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5706164240837097},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.5510134696960449},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3406227231025696},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.2080422043800354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.20543283224105835},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20228537917137146},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10019680857658386},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07745656371116638},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icra46639.2022.9811980","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra46639.2022.9811980","pdf_url":null,"source":{"id":"https://openalex.org/S4363607759","display_name":"2022 International Conference on Robotics and Automation (ICRA)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/419826","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/419826","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"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":"conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3250391854","display_name":null,"funder_award_id":"AZ-1318-17","funder_id":"https://openalex.org/F4320321450","funder_display_name":"Bayerische Forschungsstiftung"}],"funders":[{"id":"https://openalex.org/F4320321450","display_name":"Bayerische Forschungsstiftung","ror":"https://ror.org/00emnts94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W233088007","https://openalex.org/W1489183362","https://openalex.org/W1527743161","https://openalex.org/W1537235959","https://openalex.org/W1554774506","https://openalex.org/W1639370926","https://openalex.org/W1667362966","https://openalex.org/W1783866091","https://openalex.org/W1862398452","https://openalex.org/W1966698514","https://openalex.org/W1984139896","https://openalex.org/W1989527597","https://openalex.org/W1994451575","https://openalex.org/W1994511055","https://openalex.org/W2001289891","https://openalex.org/W2002956917","https://openalex.org/W2009064992","https://openalex.org/W2030659368","https://openalex.org/W2032587419","https://openalex.org/W2037792107","https://openalex.org/W2047650874","https://openalex.org/W2054382008","https://openalex.org/W2056864430","https://openalex.org/W2080267935","https://openalex.org/W2085513413","https://openalex.org/W2101901809","https://openalex.org/W2115386268","https://openalex.org/W2124623089","https://openalex.org/W2125055259","https://openalex.org/W2135639338","https://openalex.org/W2141841102","https://openalex.org/W2144588269","https://openalex.org/W2151958719","https://openalex.org/W2153219011","https://openalex.org/W2177617373","https://openalex.org/W2261108046","https://openalex.org/W2296559082","https://openalex.org/W2334782222","https://openalex.org/W2337392266","https://openalex.org/W2567548660","https://openalex.org/W2593267253","https://openalex.org/W2752666516","https://openalex.org/W2758318878","https://openalex.org/W2912640545","https://openalex.org/W2912694244","https://openalex.org/W2954207605","https://openalex.org/W2964128311","https://openalex.org/W2965627993","https://openalex.org/W2973339472","https://openalex.org/W3003620461","https://openalex.org/W3022567966","https://openalex.org/W3027039943","https://openalex.org/W3088158297","https://openalex.org/W3093787834","https://openalex.org/W4297846652","https://openalex.org/W6675011887","https://openalex.org/W6697270097","https://openalex.org/W6731139172","https://openalex.org/W6766714119","https://openalex.org/W6784547517","https://openalex.org/W6906772348","https://openalex.org/W7006132717"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2480201319","https://openalex.org/W2387706296","https://openalex.org/W2155788121","https://openalex.org/W4235469518","https://openalex.org/W2294325978","https://openalex.org/W2890345561"],"abstract_inverted_index":{"Planning":[0],"problems":[1],"can":[2],"be":[3,98],"solved":[4],"not":[5,81],"only":[6,127],"by":[7,11,110],"planners,":[8],"but":[9,132],"also":[10,133],"model":[12,113,152,158],"checkers.":[13],"While":[14],"the":[15,29,49,53,71,93,112,123,157,161,165,169],"former":[16],"yield":[17],"a":[18,32,105,149,176,183],"plan":[19,34],"that":[20,78],"requires":[21],"replanning":[22],"as":[23,25],"soon":[24],"any":[26],"fault":[27],"occurs,":[28],"latter":[30,54],"provide":[31,104],"\u201cuniversal\u201d":[33],"(a.k.a.":[35],"strategy,":[36],"policy,":[37],"or":[38],"controller)":[39],"able":[40],"to":[41,107,139],"make":[42],"decisions":[43],"under":[44],"all":[45,67],"circumstances.":[46],"One":[47],"of":[48,52,70,86,92,122,175],"prohibitive":[50],"aspects":[51],"approach":[55,170],"is":[56,64,74],"stemming":[57],"from":[58],"this":[59,101,108],"very":[60],"advantage:":[61],"since":[62],"it":[63,73,79],"defined":[65],"for":[66,151,179],"possible":[68],"states":[69],"system,":[72],"typically":[75],"so":[76],"large":[77],"does":[80],"fit":[82],"into":[83],"small":[84],"memories":[85],"embedded":[87],"devices.":[88],"As":[89],"another":[90],"consequence":[91],"size,":[94],"its":[95],"execution":[96],"may":[97],"slow.":[99],"In":[100,145],"paper,":[102],"we":[103,147],"solution":[106],"issue":[109],"linking":[111],"checkers":[114],"with":[115,143],"decision-tree":[116,120,162],"learners,":[117],"resulting":[118],"in":[119,164,182],"representations":[121],"synthesized":[124],"strategies.":[125],"Not":[126],"are":[128],"they":[129],"dramatically":[130],"smaller,":[131],"more":[134],"explainable":[135],"and":[136,154,160],"orders-of-magnitude":[137],"faster":[138],"execute":[140],"than":[141],"plans":[142],"replanning.":[144],"addition,":[146],"describe":[148],"method":[150],"validation":[153],"debugging":[155],"via":[156],"checker":[159],"learner":[163],"loop.":[166],"We":[167],"illustrate":[168],"on":[171],"our":[172],"case":[173],"study":[174],"robotic":[177],"arm":[178],"picking":[180],"items":[181],"real":[184],"industrial":[185],"setting.":[186]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}