{"id":"https://openalex.org/W3006871720","doi":"https://doi.org/10.1109/tcns.2021.3061900","title":"Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems","display_name":"Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems","publication_year":2021,"publication_date":"2021-02-24","ids":{"openalex":"https://openalex.org/W3006871720","doi":"https://doi.org/10.1109/tcns.2021.3061900","mag":"3006871720"},"language":"en","primary_location":{"id":"doi:10.1109/tcns.2021.3061900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2021.3061900","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"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 Control of Network Systems","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1910.10380","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102706404","display_name":"Dhananjay Raju","orcid":"https://orcid.org/0000-0002-5572-5311"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dhananjay Raju","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA","University of Texas at Austin"],"raw_orcid":"https://orcid.org/0000-0002-5572-5311","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032282047","display_name":"Suda Bharadwaj","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sudarshanan Bharadwaj","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"raw_orcid":"https://orcid.org/0000-0003-3045-8584","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Franck Djeumou","orcid":"https://orcid.org/0000-0002-0292-9986"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Franck Djeumou","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"raw_orcid":"https://orcid.org/0000-0002-0292-9986","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":null,"display_name":"Ufuk Topcu","orcid":"https://orcid.org/0000-0003-0819-9985"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ufuk Topcu","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"raw_orcid":"https://orcid.org/0000-0003-0819-9985","affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5102706404"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":0.3028,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.57940542,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"8","issue":"2","first_page":"621","last_page":"632"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9958000183105469,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.995199978351593,"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/pathfinder","display_name":"Pathfinder","score":0.7318084836006165},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7261912822723389},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.5510960221290588},{"id":"https://openalex.org/keywords/shields","display_name":"Shields","score":0.5205477476119995},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5127233266830444},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.4625946879386902},{"id":"https://openalex.org/keywords/shield","display_name":"Shield","score":0.3832142949104309},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07588469982147217}],"concepts":[{"id":"https://openalex.org/C2778940482","wikidata":"https://www.wikidata.org/wiki/Q7144753","display_name":"Pathfinder","level":2,"score":0.7318084836006165},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7261912822723389},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.5510960221290588},{"id":"https://openalex.org/C109589588","wikidata":"https://www.wikidata.org/wiki/Q2253638","display_name":"Shields","level":3,"score":0.5205477476119995},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5127233266830444},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.4625946879386902},{"id":"https://openalex.org/C138081364","wikidata":"https://www.wikidata.org/wiki/Q852013","display_name":"Shield","level":2,"score":0.3832142949104309},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07588469982147217},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C5900021","wikidata":"https://www.wikidata.org/wiki/Q163082","display_name":"Petrology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tcns.2021.3061900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcns.2021.3061900","pdf_url":null,"source":{"id":"https://openalex.org/S2502544478","display_name":"IEEE Transactions on Control of Network Systems","issn_l":"2325-5870","issn":["2325-5870","2372-2533"],"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 Control of Network Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1910.10380","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1910.10380","pdf_url":"https://arxiv.org/pdf/1910.10380","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3006871720","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1910.10380","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1910.10380","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1910.10380","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1910.10380","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1910.10380","pdf_url":"https://arxiv.org/pdf/1910.10380","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3006871720.pdf"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W1519460009","https://openalex.org/W1551562380","https://openalex.org/W1804029911","https://openalex.org/W1922664086","https://openalex.org/W2023808162","https://openalex.org/W2027769154","https://openalex.org/W2028720147","https://openalex.org/W2036205638","https://openalex.org/W2043996829","https://openalex.org/W2072839015","https://openalex.org/W2099078471","https://openalex.org/W2134779831","https://openalex.org/W2136692964","https://openalex.org/W2153066670","https://openalex.org/W2326611379","https://openalex.org/W2399153727","https://openalex.org/W2463574373","https://openalex.org/W2583751201","https://openalex.org/W2755657139","https://openalex.org/W2892234404","https://openalex.org/W2914296650","https://openalex.org/W2923157122","https://openalex.org/W2947518767","https://openalex.org/W2963530628","https://openalex.org/W3045910454","https://openalex.org/W4231208998","https://openalex.org/W6632973643","https://openalex.org/W6677527812","https://openalex.org/W6680096503","https://openalex.org/W6680408547","https://openalex.org/W6682593527","https://openalex.org/W6712589207","https://openalex.org/W6758754608","https://openalex.org/W6766723192","https://openalex.org/W6774739402"],"related_works":["https://openalex.org/W2981952595","https://openalex.org/W3133996913","https://openalex.org/W2972769943","https://openalex.org/W3167434189","https://openalex.org/W3169427247","https://openalex.org/W3089566198","https://openalex.org/W2995545151","https://openalex.org/W3135325966","https://openalex.org/W2912051988","https://openalex.org/W2583751201","https://openalex.org/W2892187746","https://openalex.org/W2560660856","https://openalex.org/W3129062602","https://openalex.org/W1668099530","https://openalex.org/W2398030976","https://openalex.org/W2059853822","https://openalex.org/W39084266","https://openalex.org/W2960272311","https://openalex.org/W2160502124","https://openalex.org/W3161221945"],"abstract_inverted_index":{"We":[0,79,172,194,254],"study":[1],"the":[2,14,73,107,111,121,134,137,147,150,160,163,167,170,178,197,205,219,231,234,243,256,273,277,279,297],"problem":[3,33],"of":[4,75,109,136,149,155,169,207,233,301],"enforcing":[5],"safety":[6,20],"in":[7,204,258,265,312],"multiagent":[8],"systems":[9],"at":[10,34,209,215],"runtime":[11,25,210],"by":[12],"modifying":[13],"system":[15],"behavior":[16,91,108,135,168],"if":[17,159,242],"a":[18,30,84,130,266,284,290,304,313],"potential":[19,291],"violation":[21],"is":[22,62,98,118,202,293,307],"detected.":[23,294],"Traditional":[24],"enforcement":[26],"methods":[27,221],"that":[28,132,144,188,196,222,240],"solve":[29],"reactive":[31],"synthesis":[32,200,281,300],"design":[35,216],"time":[36,201,217],"have":[37],"two":[38,127],"significant":[39],"drawbacks.":[40],"First,":[41],"these":[42,66,81],"techniques":[43],"do":[44],"not":[45],"scale":[46],"as":[47,211],"one":[48],"has":[49,126],"to":[50,71,90,165,213],"take":[51],"into":[52],"account":[53],"all":[54,190],"possible":[55],"behaviors":[56],"from":[57,184],"every":[58,69,76,95,102,124],"agent,":[59,103],"and":[60,139],"this":[61,115,252],"computationally":[63],"prohibitive.":[64],"Second,":[65],"approaches":[67],"require":[68],"agent":[70,125,138,157,183,288],"know":[72],"state":[74],"other":[77],"agent.":[78,96,113,151,171],"address":[80],"limitations":[82],"through":[83],"new":[85],"approach":[86],"where":[87],"online":[88,280],"modifications":[89],"are":[92],"synthesized":[93],"onboard":[94,101],"There":[97],"an":[99,141,156,174],"enforcer":[100,122,161],"which":[104,117],"can":[105,245],"modify":[106,166],"only":[110,283],"corresponding":[112],"In":[114,295],"approach,":[116],"naturally":[119],"decentralized,":[120],"on":[123,177,224],"components:":[128],"1)":[129],"pathfinder":[131,164],"corrects":[133],"2)":[140],"ordering":[142],"mechanism":[143],"dynamically":[145],"modifies":[146],"priority":[148,154],"The":[152],"current":[153],"determines":[158],"uses":[162],"derive":[173],"upper":[175],"bound":[176],"maximum":[179],"deviation":[180],"for":[181,218,276,303],"any":[182],"its":[185],"original":[186],"behavior;":[187],"is,":[189,241],"agents":[191,208,244,264,311],"make":[192],"progress.":[193],"prove":[195,230],"worst":[198],"case":[199],"quadratic":[203],"number":[206],"opposed":[212],"exponential":[214],"existing":[220],"rely":[223],"design-time":[225,299],"computation":[226],"merely.":[227],"Additionally,":[228],"we":[229],"completeness":[232],"technique":[235,257],"under":[236],"some":[237],"mild":[238],"assumptions;":[239],"progress":[246],"safely,":[247],"then":[248],"enforcers":[249],"will":[250],"find":[251],"behavior.":[253],"test":[255],"collision":[259,292],"avoidance":[260],"scenarios.":[261],"For":[262],"50":[263,267,269],"\u00d7":[268,315],"grid":[270,317],"world":[271],"modeling":[272],"common":[274],"workspace":[275],"agents,":[278],"requires":[282],"few":[285],"seconds":[286],"per":[287],"whenever":[289],"contrast,":[296],"centralized":[298],"shields":[302],"similar":[305],"setting":[306],"intractable":[308],"beyond":[309],"four":[310],"5":[314,316],"world.":[318]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-07-28T00:00:00"}