{"id":"https://openalex.org/W4407128425","doi":"https://doi.org/10.1109/tac.2025.3538747","title":"Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control","display_name":"Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control","publication_year":2025,"publication_date":"2025-02-04","ids":{"openalex":"https://openalex.org/W4407128425","doi":"https://doi.org/10.1109/tac.2025.3538747"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2025.3538747","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3538747","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","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/A5047972847","display_name":"Wenliang Liu","orcid":"https://orcid.org/0000-0003-2132-8710"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Wenliang Liu","raw_affiliation_strings":["Department of Mechanical Engineering, Boston University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065890139","display_name":"Suhail Alsalehi","orcid":"https://orcid.org/0000-0002-8409-2234"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suhail Alsalehi","raw_affiliation_strings":["Division of Systems Engineering, Boston University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Division of Systems Engineering, Boston University, Boston, MA, USA","institution_ids":["https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057959618","display_name":"Noushin Mehdipour","orcid":"https://orcid.org/0000-0002-6537-5626"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Noushin Mehdipour","raw_affiliation_strings":["Motional, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Motional, Boston, MA, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050836932","display_name":"Ezio Bartocci","orcid":"https://orcid.org/0000-0002-8004-6601"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ezio Bartocci","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086742095","display_name":"C\u0103lin Belta","orcid":"https://orcid.org/0000-0002-7141-2657"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Calin Belta","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Maryland, College Park, MD, USA","Department of Electrical and Computer Engineering and the Department of Computer Science, University of Maryland, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering and the Department of Computer Science, University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5047972847"],"corresponding_institution_ids":["https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":3.2319,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.90302753,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"70","issue":"8","first_page":"5098","last_page":"5113"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9988999962806702,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9984999895095825,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9923999905586243,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6301287412643433},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6219051480293274},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.46793243288993835},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.45787379145622253},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23936447501182556},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2351735532283783}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6301287412643433},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6219051480293274},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.46793243288993835},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.45787379145622253},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23936447501182556},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2351735532283783}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2025.3538747","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2025.3538747","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6210251232","display_name":null,"funder_award_id":"IIS-2024606","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8471082407","display_name":null,"funder_award_id":"GCR 2219101","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W168172299","https://openalex.org/W613360614","https://openalex.org/W1522301498","https://openalex.org/W1547304883","https://openalex.org/W1788292158","https://openalex.org/W1967005434","https://openalex.org/W1974775743","https://openalex.org/W2048922416","https://openalex.org/W2092884371","https://openalex.org/W2112036188","https://openalex.org/W2113942919","https://openalex.org/W2151609251","https://openalex.org/W2152195021","https://openalex.org/W2522468251","https://openalex.org/W2524638160","https://openalex.org/W2621540998","https://openalex.org/W2758427605","https://openalex.org/W2963017542","https://openalex.org/W2963178026","https://openalex.org/W2972486407","https://openalex.org/W2979818850","https://openalex.org/W3004091789","https://openalex.org/W3010924044","https://openalex.org/W3026534080","https://openalex.org/W3034174753","https://openalex.org/W3034546171","https://openalex.org/W3045969662","https://openalex.org/W3046650501","https://openalex.org/W3092082484","https://openalex.org/W3120924814","https://openalex.org/W3146720230","https://openalex.org/W3149132974","https://openalex.org/W3165590793","https://openalex.org/W4210600503","https://openalex.org/W4294691739","https://openalex.org/W4382935854","https://openalex.org/W4383108281","https://openalex.org/W6631190155"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3],"study":[4],"control":[5,55,74],"synthesis":[6],"problems":[7],"for":[8,35,165],"multiagent":[9],"systems":[10],"(MASs)":[11],"that":[12,37],"must":[13],"comply":[14],"with":[15,84,140,153],"spatio-temporal":[16,25],"logic":[17,22,29],"requirements.":[18],"We":[19,65,128,137],"define":[20],"a":[21,32,80,85,97,104,114,126,134,147,179],"called":[23],"team":[24],"reach":[26],"and":[27,31,41,53],"escape":[28],"(t-STREL)":[30],"robustness":[33,71],"metric":[34],"it":[36],"is":[38],"continuous":[39],"everywhere":[40],"differentiable":[42],"almost":[43],"everywhere.":[44],"These":[45],"properties":[46,72],"facilitate":[47],"the":[48,75,143,154,158],"use":[49],"of":[50,151],"gradient-based":[51,81],"optimization":[52,82],"learning-based":[54],"techniques,":[56],"offering":[57],"greater":[58],"efficiency":[59],"compared":[60],"to":[61,73,95,119],"traditional":[62],"gradient-free":[63],"methods.":[64],"propose":[66],"three":[67],"approaches":[68,132],"leveraging":[69],"these":[70],"MAS.":[76],"The":[77,90,110,168],"first":[78],"combines":[79],"algorithm":[83,118],"heuristic":[86],"one":[87],"(hybrid":[88],"optimization).":[89],"second":[91],"uses":[92],"imitation":[93,159],"learning":[94,160],"learn":[96,120],"recurrent":[98],"neural":[99],"network":[100],"(RNN)":[101],"controller":[102,123],"from":[103],"dataset":[105],"generated":[106],"by":[107],"off-line":[108],"optimizations.":[109],"third":[111],"approach":[112,161,172],"employs":[113],"model-based":[115,169],"policy":[116,170],"search":[117,171],"an":[121],"RNN":[122],"directly":[124],"without":[125],"dataset.":[127],"showcase":[129],"our":[130],"proposed":[131],"in":[133],"simulated":[135],"example.":[136],"demonstrate":[138],"that,":[139],"hybrid":[141],"optimization,":[142],"MAS":[144],"can":[145,162,173],"achieve":[146,175],"high":[148],"success":[149],"rate":[150],"compliance":[152],"t-STREL":[155],"requirement,":[156],"while":[157],"be":[163],"used":[164],"real-time":[166],"control.":[167],"concurrently":[174],"both":[176],"objectives":[177],"within":[178],"relatively":[180],"short":[181],"training":[182],"time.":[183]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-01T08:55:55.761014","created_date":"2025-10-10T00:00:00"}