{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T20:49:55Z","timestamp":1782334195299,"version":"3.54.5"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2442948"],"award-info":[{"award-number":["2442948"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009896","name":"U.S. Navy","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009896","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-23-1-2252"],"award-info":[{"award-number":["N00014-23-1-2252"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009896","name":"U.S. Navy","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009896","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Department of Defense or the US Government"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Control Netw. Syst."],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1109\/tcns.2026.3667757","type":"journal-article","created":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T20:59:07Z","timestamp":1771966747000},"page":"823-834","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Safety and Performance Certificate for Multiagent Safe Control and Learning"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9324-2669","authenticated-orcid":false,"given":"Haoming","family":"Jing","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3324-4602","authenticated-orcid":false,"given":"Yorie","family":"Nakahira","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109439"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683349"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3187458"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3043287"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2004.01.007"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3274215"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109688"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/cdc56724.2024.10886199"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3414268"},{"key":"ref10","first-page":"2373","article-title":"Neural graph control barrier functions guided distributed collision-avoidance multi-agent control","volume-title":"Proc. Conf. Robot Learn.","author":"Zhang","year":"2023"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3566652"},{"key":"ref12","first-page":"372","article-title":"Multi-robot collision avoidance under uncertainty with probabilistic safety barrier certificates","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"33","author":"Luo","year":"2020"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304395"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-021-10029-2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6386125"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2022.3203479"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ECC64448.2024.10590880"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2022.XVIII.055"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3133802"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-025-10194-8"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2022.3186649"},{"key":"ref24","article-title":"Correct-by-construction reach-avoid control of partially observable linear stochastic systems","author":"Badings","year":"2021"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2024.106945"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2016.03.005"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-090419-075625"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-060117-104941"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814901"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3086854"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3137059"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3049335"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867675"},{"issue":"1","key":"ref34","first-page":"1437","article-title":"A comprehensive survey on safe reinforcement learning","volume":"16","author":"Garca","year":"2015","journal-title":"J. Mach. Learn. Res."},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2024.3457538"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60990-0_12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3579443"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1287\/moor.2022.0055"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1287\/opre.2021.2226"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2861910"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i10.17062"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2023.103905"},{"key":"ref43","first-page":"315","article-title":"Provably efficient generalized Lagrangian policy optimization for safe multi-agent reinforcement learning","volume-title":"Proc. Learn. Dyn. Control Conf.","author":"Ding","year":"2023"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86486-6_10"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2024.100948"},{"key":"ref46","article-title":"Safe multi-agent reinforcement learning through decentralized multiple control barrier functions","author":"Cai","year":"2021"},{"key":"ref47","article-title":"MAMPS: Safe multi-agent reinforcement learning via model predictive shielding","author":"Zhang","year":"2019"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA46639.2022.9812259"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402951"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.65109\/krjr7599"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.52202\/068431-0972"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.65109\/wdom6367"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-12616-5"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2019.104619"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2019.12.010"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/tnn.1998.712192"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3105491"}],"container-title":["IEEE Transactions on Control of Network Systems"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6509490\/11575228\/11409446-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6509490\/11575228\/11409446.pdf?arnumber=11409446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T19:51:20Z","timestamp":1782330680000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11409446\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":57,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcns.2026.3667757","relation":{},"ISSN":["2325-5870","2372-2533"],"issn-type":[{"value":"2325-5870","type":"electronic"},{"value":"2372-2533","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6]]}}}