{"id":"https://openalex.org/W4416748775","doi":"https://doi.org/10.1109/iros60139.2025.11246879","title":"MaxAuc: A Max-Plus-Based Auction Approach for Multi-Robot Allocations for Time-Ordered Temporal Logic Tasks","display_name":"MaxAuc: A Max-Plus-Based Auction Approach for Multi-Robot Allocations for Time-Ordered Temporal Logic Tasks","publication_year":2025,"publication_date":"2025-10-19","ids":{"openalex":"https://openalex.org/W4416748775","doi":"https://doi.org/10.1109/iros60139.2025.11246879"},"language":null,"primary_location":{"id":"doi:10.1109/iros60139.2025.11246879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11246879","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","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/A5029295795","display_name":"Mengjie Wei","orcid":"https://orcid.org/0009-0008-1743-0265"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mengjie Wei","raw_affiliation_strings":["Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041227783","display_name":"Yuda Li","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuda Li","raw_affiliation_strings":["Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100420067","display_name":"Siqi Wang","orcid":"https://orcid.org/0000-0002-0954-6187"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Siqi Wang","raw_affiliation_strings":["Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107750031","display_name":"Shaoyuan Li","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaoyuan Li","raw_affiliation_strings":["Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111244607","display_name":"Xiang Yin","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University,School of Automation and Intelligent Sensing,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"12689","last_page":"12696"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5805000066757202,"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.5805000066757202,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.1581999957561493,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.03929999843239784,"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/task","display_name":"Task (project management)","score":0.6518999934196472},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6051999926567078},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.570900022983551},{"id":"https://openalex.org/keywords/auction-algorithm","display_name":"Auction algorithm","score":0.5649999976158142},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.4968999922275543},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4717999994754791},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.46700000762939453},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.454800009727478},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.41370001435279846}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.680899977684021},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6518999934196472},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6051999926567078},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.570900022983551},{"id":"https://openalex.org/C74979957","wikidata":"https://www.wikidata.org/wiki/Q4819604","display_name":"Auction algorithm","level":5,"score":0.5649999976158142},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5120000243186951},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4968999922275543},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4717999994754791},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.46700000762939453},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.454800009727478},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.41370001435279846},{"id":"https://openalex.org/C58581272","wikidata":"https://www.wikidata.org/wiki/Q12741163","display_name":"Workspace","level":3,"score":0.4090999960899353},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4052000045776367},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.37139999866485596},{"id":"https://openalex.org/C59919655","wikidata":"https://www.wikidata.org/wiki/Q5150821","display_name":"Combinatorial auction","level":3,"score":0.3504999876022339},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.311599999666214},{"id":"https://openalex.org/C163239763","wikidata":"https://www.wikidata.org/wiki/Q5153637","display_name":"Common value auction","level":2,"score":0.30790001153945923},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.30570000410079956},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.28519999980926514},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.2847000062465668},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28279998898506165},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C8505890","wikidata":"https://www.wikidata.org/wiki/Q605095","display_name":"Budget constraint","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2646999955177307}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iros60139.2025.11246879","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iros60139.2025.11246879","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1499948104","https://openalex.org/W2077578897","https://openalex.org/W2117927826","https://openalex.org/W2126366668","https://openalex.org/W2784743256","https://openalex.org/W2798028815","https://openalex.org/W2804655496","https://openalex.org/W2905277694","https://openalex.org/W2906353028","https://openalex.org/W2998208410","https://openalex.org/W3021964239","https://openalex.org/W3090071260","https://openalex.org/W3119321206","https://openalex.org/W4221021751","https://openalex.org/W4289921754","https://openalex.org/W4321254709","https://openalex.org/W4381681017","https://openalex.org/W4382568173","https://openalex.org/W4383108206","https://openalex.org/W4391996271","https://openalex.org/W4392719125","https://openalex.org/W4399526604","https://openalex.org/W4401416304","https://openalex.org/W4403325528","https://openalex.org/W4404810233","https://openalex.org/W4409823824"],"related_works":[],"abstract_inverted_index":{"In":[0,33],"this":[1],"paper,":[2],"we":[3,38,77],"investigate":[4],"a":[5,11,18,23,79,93,139],"multi-robot":[6],"task":[7,87,103],"allocation":[8,88],"problem":[9],"where":[10],"team":[12],"of":[13,25,52,70,130,135],"heterogeneous":[14],"robots":[15,131],"operates":[16],"in":[17,73,92,105],"discrete":[19],"workspace":[20],"to":[21,35,101,126,144],"achieve":[22],"set":[24],"tasks":[26],"expressed":[27],"by":[28,67],"linear":[29],"temporal":[30],"logic":[31],"formulas.":[32],"contrast":[34],"existing":[36],"works,":[37],"further":[39],"consider":[40],"inter-task-time-order":[41],"constraints,":[42,76],"which":[43,62,84],"are":[44,99],"imposed":[45],"on":[46],"the":[47,68,106,111,128,133,145],"start":[48],"or":[49],"end":[50],"times":[51],"each":[53],"task.":[54],"Solving":[55],"such":[56],"problems":[57],"generally":[58],"requires":[59],"combinatorial":[60],"search,":[61],"is":[63,121],"not":[64],"scalable.":[65],"Inspired":[66],"efficiency":[69],"max-plus":[71,97],"algebra":[72,91],"handling":[74],"time":[75],"propose":[78],"novel":[80,94],"approach":[81],"called":[82],"MaxAuc,":[83],"integrates":[85],"Auction-based":[86],"with":[89,124],"Max-plus":[90],"manner.":[95],"Specifically,":[96],"computations":[98],"performed":[100],"approximate":[102],"priorities":[104],"auction":[107],"without":[108],"explicitly":[109],"solving":[110],"constraint":[112],"optimization":[113],"problem.":[114],"Our":[115],"numerical":[116],"results":[117],"demonstrate":[118],"that":[119],"MaxAuc":[120],"highly":[122],"scalable":[123],"respect":[125],"both":[127],"number":[129,134],"and":[132],"tasks,":[136],"while":[137],"maintaining":[138],"tolerable":[140],"performance":[141],"trade-off":[142],"compared":[143],"baseline\u2019s":[146],"optimal":[147],"yet":[148],"exhaustive":[149],"solution.":[150]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-11-28T00:00:00"}