{"id":"https://openalex.org/W4401416157","doi":"https://doi.org/10.1109/icra57147.2024.10610942","title":"Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications","display_name":"Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications","publication_year":2024,"publication_date":"2024-05-13","ids":{"openalex":"https://openalex.org/W4401416157","doi":"https://doi.org/10.1109/icra57147.2024.10610942"},"language":"en","primary_location":{"id":"doi:10.1109/icra57147.2024.10610942","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icra57147.2024.10610942","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5103263562","display_name":"Zikang Xiong","orcid":"https://orcid.org/0000-0002-4582-8560"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zikang Xiong","raw_affiliation_strings":["Purdue University,Computer Science Department,IN,USA,47906"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University,Computer Science Department,IN,USA,47906","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110693765","display_name":"Daniel E. Lawson","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Lawson","raw_affiliation_strings":["Purdue University,Computer Science Department,IN,USA,47906"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University,Computer Science Department,IN,USA,47906","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072724576","display_name":"Joe Eappen","orcid":"https://orcid.org/0000-0001-9386-5545"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joe Eappen","raw_affiliation_strings":["Purdue University,Computer Science Department,IN,USA,47906"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University,Computer Science Department,IN,USA,47906","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056336556","display_name":"Ahmed H. Qureshi","orcid":"https://orcid.org/0000-0003-2104-2333"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ahmed H. Qureshi","raw_affiliation_strings":["Purdue University,Computer Science Department,IN,USA,47906"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University,Computer Science Department,IN,USA,47906","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034957233","display_name":"Suresh Jagannathan","orcid":"https://orcid.org/0000-0001-6871-2424"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suresh Jagannathan","raw_affiliation_strings":["Purdue University,Computer Science Department,IN,USA,47906"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University,Computer Science Department,IN,USA,47906","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19931792,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":null,"first_page":"14272","last_page":"14278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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.9973000288009644,"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"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9966999888420105,"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/differentiable-function","display_name":"Differentiable function","score":0.683832585811615},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6496695280075073},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.545483410358429},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4909386932849884},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.4656776785850525},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.400960773229599},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3688831627368927},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.342426598072052},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17765742540359497},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.07000091671943665}],"concepts":[{"id":"https://openalex.org/C202615002","wikidata":"https://www.wikidata.org/wiki/Q783507","display_name":"Differentiable function","level":2,"score":0.683832585811615},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6496695280075073},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.545483410358429},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4909386932849884},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.4656776785850525},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.400960773229599},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3688831627368927},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.342426598072052},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17765742540359497},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.07000091671943665}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra57147.2024.10610942","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icra57147.2024.10610942","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.41999998688697815,"display_name":"Sustainable cities and communities"},{"id":"https://metadata.un.org/sdg/13","score":0.41999998688697815,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W2023808162","https://openalex.org/W2064572756","https://openalex.org/W2099893201","https://openalex.org/W2124623089","https://openalex.org/W2149184914","https://openalex.org/W2150335178","https://openalex.org/W2151958719","https://openalex.org/W2165558283","https://openalex.org/W2320234922","https://openalex.org/W2567705466","https://openalex.org/W2736601468","https://openalex.org/W2786303200","https://openalex.org/W2963778636","https://openalex.org/W2967969632","https://openalex.org/W2972500268","https://openalex.org/W3011250830","https://openalex.org/W3034174753","https://openalex.org/W3046650501","https://openalex.org/W3080398910","https://openalex.org/W3090827750","https://openalex.org/W3092156990","https://openalex.org/W3121342653","https://openalex.org/W3164776375","https://openalex.org/W3213843225","https://openalex.org/W4229029576","https://openalex.org/W4241811150","https://openalex.org/W4285214238","https://openalex.org/W4286910290","https://openalex.org/W4294982428","https://openalex.org/W4295113525","https://openalex.org/W4312828861","https://openalex.org/W4382322597","https://openalex.org/W4385245566","https://openalex.org/W6616173779","https://openalex.org/W6638018090","https://openalex.org/W6737893269","https://openalex.org/W6766842884","https://openalex.org/W6780587392"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W4206249920","https://openalex.org/W4255405881","https://openalex.org/W1534488117","https://openalex.org/W1560895966","https://openalex.org/W3018143143"],"abstract_inverted_index":{"Synthesizing":[0],"planning":[1,44],"and":[2,20,45,85,108,130],"control":[3,46,107],"policies":[4,63,111],"in":[5,56],"robotics":[6],"is":[7,120],"a":[8,27,131],"fundamental":[9],"task,":[10],"further":[11],"complicated":[12],"by":[13,42],"factors":[14],"such":[15],"as":[16],"complex":[17,39,79],"logic":[18,40],"specifications":[19,41],"high-dimensional":[21,34,106,126],"robot":[22,35,92,128,135],"dynamics.":[23],"This":[24],"paper":[25],"presents":[26],"novel":[28],"reinforcement":[29,71],"learning":[30,72],"approach":[31,50,101,119],"to":[32,60,69],"solving":[33],"navigation":[36],"tasks":[37],"with":[38,64],"co-learning":[43],"policies.":[47],"Notably,":[48],"this":[49],"significantly":[51],"reduces":[52],"the":[53,87],"sample":[54],"complexity":[55],"training,":[57],"allowing":[58],"us":[59],"train":[61],"high-quality":[62],"much":[65],"fewer":[66],"samples":[67],"compared":[68],"existing":[70],"algorithms.":[73],"In":[74],"addition,":[75],"our":[76,100,118],"methodology":[77],"streamlines":[78],"specification":[80],"extraction":[81],"from":[82],"map":[83,97],"images":[84],"enables":[86],"efficient":[88],"generation":[89],"of":[90,117,140],"long-horizon":[91],"motion":[93],"paths":[94],"across":[95],"different":[96,138],"layouts.":[98],"Moreover,":[99],"also":[102],"demonstrates":[103],"capabilities":[104],"for":[105],"avoiding":[109],"suboptimal":[110],"via":[112],"policy":[113],"alignment.":[114],"The":[115],"efficacy":[116],"demonstrated":[121],"through":[122],"experiments":[123],"involving":[124],"simulated":[125],"quadruped":[127],"dynamics":[129],"real-world":[132],"differential":[133],"drive":[134],"(TurtleBot3)":[136],"under":[137],"types":[139],"task":[141],"specifications.":[142]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}