{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T09:15:23Z","timestamp":1725786923212},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"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":[[2023,12,13]]},"DOI":"10.1109\/cdc49753.2023.10384185","type":"proceedings-article","created":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:38:36Z","timestamp":1705689516000},"page":"67-72","source":"Crossref","is-referenced-by-count":2,"title":["Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers"],"prefix":"10.1109","author":[{"given":"Oliver","family":"Gates","sequence":"first","affiliation":[{"name":"University of Oxford,Department of Engineering Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Newton","sequence":"additional","affiliation":[{"name":"University of Oxford,Department of Engineering Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Gatsis","sequence":"additional","affiliation":[{"name":"University of Oxford,Department of Engineering Science,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2020.2999556"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203866"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2020.3042823"},{"volume-title":"Control of multi-agent systems with applications to distributed frequency control power systems","year":"2013","author":"Andreasson","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2309281"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/mcs.2014.2320397"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA49430.2022.9966104"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref11","article-title":"Reachability analysis and safety verification for neural network control systems","author":"Xiang","year":"2018","journal-title":"ar Xiv preprint"},{"key":"ref12","article-title":"Reachability analysis and safety verification of neural feedback systems via hybrid zonotopes","author":"Zhang","year":"2022","journal-title":"ar Xiv preprint"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992655"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-33170-1_2"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992719"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311796"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1561\/2200000060"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3073012"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.1198"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ECC51009.2020.9143929"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5574-4"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.011"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2797194"},{"key":"ref25","article-title":"Scalable forward reachability analysis of multi-agent systems with neural network controllers","author":"Gates","year":"2023","journal-title":"arXiv preprint"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2720141"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2402153"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/tcst.2015.2483564"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/itsc.2011.6082981"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2302816"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2254641"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760799"},{"volume-title":"Power System Analysis, ser. Electrical and Computer Engineering Series","year":"1999","author":"Saadat","key":"ref33"},{"key":"ref34","article-title":"Hycon2 benchmark: Power net-work system","author":"Riverso","year":"2012","journal-title":"arXiv preprint"}],"event":{"name":"2023 62nd IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2023,12,13]]},"location":"Singapore, Singapore","end":{"date-parts":[[2023,12,15]]}},"container-title":["2023 62nd IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10383192\/10383193\/10384185.pdf?arnumber=10384185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T16:31:58Z","timestamp":1706027518000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10384185\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/cdc49753.2023.10384185","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}