{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T01:18:29Z","timestamp":1769131109750,"version":"3.49.0"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T00:00:00Z","timestamp":1764633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T00:00:00Z","timestamp":1764633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,2]]},"DOI":"10.1109\/icar65334.2025.11338604","type":"proceedings-article","created":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T21:06:47Z","timestamp":1769029607000},"page":"841-848","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Safety Verification of Multi-Agent Systems using \u03c8-Weighted CBFs and PAC Guarantees"],"prefix":"10.1109","author":[{"given":"Venkat","family":"Margapuri","sequence":"first","affiliation":[{"name":"Villanova University,Department of Computing Sciences,PA,USA"}]},{"given":"Garik","family":"Kazanjian","sequence":"additional","affiliation":[{"name":"Villanova University,Department of Computing Sciences,PA,USA"}]},{"given":"Naren","family":"Kosaraju","sequence":"additional","affiliation":[{"name":"Villanova University,Department of Computing Sciences,PA,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-020-09487-2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCS60874.2024.10717088"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611447"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s43154-021-00048-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2024.3454470"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.34133\/icomputing.0097"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CISS50987.2021.9400289"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683520"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2023.3286090"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683705"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9655206"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3105491"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683349"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3187458"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482871"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644200"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.23919\/acc55779.2023.10156150"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CASE58245.2025.11164063"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1561\/2200000100"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1137\/07069821x"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920959444"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3192805"},{"key":"ref29","volume-title":"Nonlinear Systems","author":"Khalil","year":"2002"},{"key":"ref30","article-title":"Empirical bernstein bounds and sample variance penalization","author":"Maurer","year":"2009"}],"event":{"name":"2025 IEEE International Conference on Advanced Robotics (ICAR)","location":"San Juan, Argentina","start":{"date-parts":[[2025,12,2]]},"end":{"date-parts":[[2025,12,5]]}},"container-title":["2025 IEEE International Conference on Advanced Robotics (ICAR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11338521\/11338600\/11338604.pdf?arnumber=11338604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T08:09:19Z","timestamp":1769069359000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11338604\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,2]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icar65334.2025.11338604","relation":{},"subject":[],"published":{"date-parts":[[2025,12,2]]}}}