{"id":"https://openalex.org/W4396242027","doi":"https://doi.org/10.1177/02783649241247285","title":"Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints","display_name":"Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints","publication_year":2024,"publication_date":"2024-04-28","ids":{"openalex":"https://openalex.org/W4396242027","doi":"https://doi.org/10.1177/02783649241247285"},"language":"en","primary_location":{"id":"doi:10.1177/02783649241247285","is_oa":false,"landing_page_url":"https://doi.org/10.1177/02783649241247285","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-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/A5001903602","display_name":"Gustavo A. Cardona","orcid":"https://orcid.org/0000-0002-4257-9415"},"institutions":[{"id":"https://openalex.org/I186143895","display_name":"Lehigh University","ror":"https://ror.org/012afjb06","country_code":"US","type":"education","lineage":["https://openalex.org/I186143895"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gustavo A. Cardona","raw_affiliation_strings":["Department of Mechanical Engineering and Mechanics, Lehigh University, Bethlehem, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-4257-9415","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering and Mechanics, Lehigh University, Bethlehem, PA, USA","institution_ids":["https://openalex.org/I186143895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086654963","display_name":"Cristian-Ioan Vasile","orcid":"https://orcid.org/0000-0002-1132-1462"},"institutions":[{"id":"https://openalex.org/I186143895","display_name":"Lehigh University","ror":"https://ror.org/012afjb06","country_code":"US","type":"education","lineage":["https://openalex.org/I186143895"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cristian-Ioan Vasile","raw_affiliation_strings":["Department of Mechanical Engineering and Mechanics, Lehigh University, Bethlehem, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-1132-1462","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering and Mechanics, Lehigh University, Bethlehem, PA, USA","institution_ids":["https://openalex.org/I186143895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5001903602"],"corresponding_institution_ids":["https://openalex.org/I186143895"],"apc_list":null,"apc_paid":null,"fwci":0.9737,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78450825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"43","issue":"13","first_page":"2089","last_page":"2111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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.9990000128746033,"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.9984999895095825,"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.998199999332428,"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/robot","display_name":"Robot","score":0.7723367214202881},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6738821864128113},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6297714710235596},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.48205694556236267},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4463731050491333},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3623747229576111},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33999454975128174},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20311924815177917}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.7723367214202881},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6738821864128113},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6297714710235596},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.48205694556236267},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4463731050491333},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3623747229576111},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33999454975128174},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20311924815177917},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/02783649241247285","is_oa":false,"landing_page_url":"https://doi.org/10.1177/02783649241247285","pdf_url":null,"source":{"id":"https://openalex.org/S73484101","display_name":"The International Journal of Robotics Research","issn_l":"0278-3649","issn":["0278-3649","1741-3176"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The International Journal of Robotics Research","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320332503","display_name":"Lincoln Laboratory, Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":68,"referenced_works":["https://openalex.org/W189973795","https://openalex.org/W1490137407","https://openalex.org/W1498432697","https://openalex.org/W1533557569","https://openalex.org/W1543983621","https://openalex.org/W1547304883","https://openalex.org/W1917568570","https://openalex.org/W1935692274","https://openalex.org/W1970269621","https://openalex.org/W1972530288","https://openalex.org/W1975255760","https://openalex.org/W1980088782","https://openalex.org/W2004620590","https://openalex.org/W2004796166","https://openalex.org/W2029724021","https://openalex.org/W2049399166","https://openalex.org/W2077245982","https://openalex.org/W2077578897","https://openalex.org/W2092884371","https://openalex.org/W2097622845","https://openalex.org/W2132022337","https://openalex.org/W2145510175","https://openalex.org/W2147981290","https://openalex.org/W2233433391","https://openalex.org/W2237372923","https://openalex.org/W2288528772","https://openalex.org/W2289025432","https://openalex.org/W2343223723","https://openalex.org/W2531762107","https://openalex.org/W2560346987","https://openalex.org/W2594675090","https://openalex.org/W2606589726","https://openalex.org/W2736666525","https://openalex.org/W2792781634","https://openalex.org/W2804655496","https://openalex.org/W2909192189","https://openalex.org/W2913190903","https://openalex.org/W2964188981","https://openalex.org/W2964219844","https://openalex.org/W2967461658","https://openalex.org/W2972486407","https://openalex.org/W2973769628","https://openalex.org/W2998208410","https://openalex.org/W3101375348","https://openalex.org/W3127511342","https://openalex.org/W3141989474","https://openalex.org/W3149952516","https://openalex.org/W3181923028","https://openalex.org/W3186824508","https://openalex.org/W3209876736","https://openalex.org/W4206840125","https://openalex.org/W4210600503","https://openalex.org/W4210700398","https://openalex.org/W4229029576","https://openalex.org/W4253103663","https://openalex.org/W4285088909","https://openalex.org/W4289912986","https://openalex.org/W4314946898","https://openalex.org/W4315488730","https://openalex.org/W4375852001","https://openalex.org/W4382935854","https://openalex.org/W4382935859","https://openalex.org/W4383066257","https://openalex.org/W4383108323","https://openalex.org/W4385413358","https://openalex.org/W4385451830","https://openalex.org/W4385451969","https://openalex.org/W4391020489"],"related_works":["https://openalex.org/W2770593030","https://openalex.org/W3154990682","https://openalex.org/W2560201613","https://openalex.org/W2171975302","https://openalex.org/W2022352247","https://openalex.org/W2488129135","https://openalex.org/W4312219546","https://openalex.org/W1547206149","https://openalex.org/W2377538627","https://openalex.org/W2107220315"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,27,111,132],"comprehensive":[4],"approach":[5,134],"for":[6,8,60,135,142,156],"planning":[7],"teams":[9],"of":[10,19,128],"heterogeneous":[11],"robots":[12,35,157],"with":[13,36,39],"different":[14],"capabilities":[15,38],"and":[16,42,58,63,80,96,100,103,121,158,168,174],"the":[17,104],"transportation":[18,88],"resources.":[20],"We":[21,45,130],"use":[22],"Capability":[23],"Temporal":[24,138],"Logic":[25,139],"(CaTL),":[26],"formal":[28],"language":[29],"that":[30],"helps":[31],"express":[32],"tasks":[33],"involving":[34],"multiple":[37,147,164],"spatial,":[40],"temporal,":[41],"logical":[43],"constraints.":[44],"extend":[46],"CaTL":[47,105],"to":[48],"also":[49],"capture":[50],"resource":[51,87,94,101,122],"constraints,":[52],"where":[53],"resources":[54,68,159,173],"can":[55],"be":[56],"divisible":[57],"indivisible,":[59],"instance,":[61],"sand":[62],"bricks,":[64],"respectively.":[65],"Robots":[66],"transport":[67],"using":[69],"various":[70],"storage":[71,77,83,175],"types,":[72],"such":[73],"as":[74],"uniform":[75],"(shared":[76],"among":[78],"resources)":[79],"compartmental":[81],"(individual":[82],"per":[84],"resource).":[85],"Robots\u2019":[86],"capacity":[89],"is":[90],"defined":[91],"based":[92],"on":[93],"type":[95],"robot":[97,120],"class.":[98],"Robot":[99],"dynamics":[102],"mission":[106],"are":[107],"jointly":[108],"encoded":[109],"in":[110],"Mixed":[112],"Integer":[113],"Linear":[114],"Programming":[115],"(MILP),":[116],"which":[117],"maximizes":[118],"disjoint":[119],"robustness":[123,154],"while":[124],"minimizing":[125],"spurious":[126],"movement":[127],"both.":[129],"propose":[131],"multi-robustness":[133],"Multi-Class":[136],"Signal":[137],"(mcSTL),":[140],"allowing":[141],"generalized":[143],"quantitative":[144],"semantics":[145],"across":[146],"predicate":[148],"classes.":[149],"Thus,":[150],"we":[151,162],"compute":[152],"availability":[153],"scores":[155],"separately.":[160],"Finally,":[161],"conduct":[163],"experiments":[165],"demonstrating":[166],"functionality":[167],"time":[169],"performance":[170],"by":[171],"varying":[172],"types.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}