{"id":"https://openalex.org/W4401414517","doi":"https://doi.org/10.1109/icra57147.2024.10611547","title":"Optimal Planning for Timed Partial Order Specifications","display_name":"Optimal Planning for Timed Partial Order Specifications","publication_year":2024,"publication_date":"2024-05-13","ids":{"openalex":"https://openalex.org/W4401414517","doi":"https://doi.org/10.1109/icra57147.2024.10611547"},"language":"en","primary_location":{"id":"doi:10.1109/icra57147.2024.10611547","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10611547","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/A5065508982","display_name":"Kandai Watanabe","orcid":"https://orcid.org/0000-0002-1460-648X"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kandai Watanabe","raw_affiliation_strings":["University of Colorado Boulder,Departments of Computer Science and Aerospace Engineering Sciences,Boulder,Colorado"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder,Departments of Computer Science and Aerospace Engineering Sciences,Boulder,Colorado","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058732387","display_name":"Georgios Fainekos","orcid":"https://orcid.org/0000-0002-0456-2129"},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Georgios Fainekos","raw_affiliation_strings":["Research and Development,Toyota Motor North America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research and Development,Toyota Motor North America","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044251694","display_name":"Bardh Hoxha","orcid":"https://orcid.org/0000-0001-6255-7566"},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Bardh Hoxha","raw_affiliation_strings":["Research and Development,Toyota Motor North America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research and Development,Toyota Motor North America","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["University of Colorado Boulder,Departments of Computer Science and Aerospace Engineering Sciences,Boulder,Colorado"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder,Departments of Computer Science and Aerospace Engineering Sciences,Boulder,Colorado","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035243085","display_name":"Hideki Okamoto","orcid":"https://orcid.org/0009-0009-2533-9581"},"institutions":[{"id":"https://openalex.org/I1293612202","display_name":"Toyota Motor Corporation (Switzerland)","ror":"https://ror.org/05p0pbv75","country_code":"CH","type":"company","lineage":["https://openalex.org/I1293612202","https://openalex.org/I4210125472","https://openalex.org/I4210137853"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Hideki Okamoto","raw_affiliation_strings":["Research and Development,Toyota Motor North America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research and Development,Toyota Motor North America","institution_ids":["https://openalex.org/I1293612202"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063584164","display_name":"Sriram Sankaranarayanan","orcid":"https://orcid.org/0000-0002-4662-3241"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sriram Sankaranarayanan","raw_affiliation_strings":["University of Colorado Boulder,Departments of Computer Science and Aerospace Engineering Sciences,Boulder,Colorado"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder,Departments of Computer Science and Aerospace Engineering Sciences,Boulder,Colorado","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"17093","last_page":"17099"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9970999956130981,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6576906442642212},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4938521981239319}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6576906442642212},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4938521981239319},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra57147.2024.10611547","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra57147.2024.10611547","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W1563854815","https://openalex.org/W1606824214","https://openalex.org/W1667231716","https://openalex.org/W2007572995","https://openalex.org/W2011039300","https://openalex.org/W2038970683","https://openalex.org/W2101508170","https://openalex.org/W2117218135","https://openalex.org/W2130182605","https://openalex.org/W2132990760","https://openalex.org/W2158749632","https://openalex.org/W2163941698","https://openalex.org/W2315875130","https://openalex.org/W2335471126","https://openalex.org/W2537545174","https://openalex.org/W2784743256","https://openalex.org/W2906634895","https://openalex.org/W2966466466","https://openalex.org/W3131655721","https://openalex.org/W4210600503","https://openalex.org/W4253602158","https://openalex.org/W4283786866","https://openalex.org/W4319348618","https://openalex.org/W4382866863","https://openalex.org/W4383108908","https://openalex.org/W4384831806","https://openalex.org/W4385155193","https://openalex.org/W4389399242","https://openalex.org/W4399261807"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,19,32,119],"challenge":[4],"of":[5,9],"planning":[6,75],"a":[7,47,63,73,80,95],"sequence":[8],"tasks":[10],"to":[11,24,38,91,97,123],"be":[12],"performed":[13],"by":[14],"multiple":[15],"robots":[16],"while":[17],"minimizing":[18],"overall":[20],"completion":[21],"time":[22,84],"subject":[23],"timing":[25,54],"and":[26,55,58,86,94],"precedence":[27],"constraints.":[28,41],"Our":[29,70,127],"approach":[30],"uses":[31],"Timed":[33],"Partial":[34],"Orders":[35],"(TPO)":[36],"model":[37],"specify":[39],"these":[40],"We":[42,101],"translate":[43],"this":[44],"problem":[45],"into":[46],"Traveling":[48],"Salesman":[49],"Problem":[50],"(TSP)":[51],"variant":[52],"with":[53],"precedent":[56,87],"constraints,":[57,88],"we":[59],"solve":[60],"it":[61],"as":[62],"Mixed":[64],"Integer":[65],"Linear":[66],"Programming":[67],"(MILP)":[68],"problem.":[69],"contributions":[71],"include":[72],"general":[74],"framework":[76,104],"for":[77],"TPO":[78],"specifications,":[79],"MILP":[81,133],"formulation":[82],"accommodating":[83],"windows":[85],"its":[89],"extension":[90],"multi-robot":[92],"scenarios,":[93],"method":[96,134],"quantify":[98],"plan":[99],"robustness.":[100],"demonstrate":[102],"our":[103,132],"on":[105],"several":[106],"case":[107],"studies,":[108],"including":[109],"an":[110],"aircraft":[111],"turnaround":[112],"task":[113],"involving":[114],"three":[115],"Jackal":[116],"robots,":[117],"highlighting":[118],"approach\u2019s":[120],"potential":[121],"applicability":[122],"important":[124],"real-world":[125],"problems.":[126],"benchmark":[128],"results":[129],"show":[130],"that":[131],"outperforms":[135],"state-of-the-art":[136],"open-source":[137],"TSP":[138],"solvers":[139],"OR-Tools.":[140]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}