{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T16:50:58Z","timestamp":1774630258514,"version":"3.50.1"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"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":[[2024,5,13]]},"DOI":"10.1109\/icra57147.2024.10610163","type":"proceedings-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T17:51:05Z","timestamp":1723139465000},"page":"9939-9945","source":"Crossref","is-referenced-by-count":2,"title":["Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances"],"prefix":"10.1109","author":[{"given":"Nicholas","family":"Rober","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,USA"}]},{"given":"Karan","family":"Mahesh","sequence":"additional","affiliation":[{"name":"Aurora Flight Sciences, a Boeing Company,Cambridge,USA"}]},{"given":"Tyler M.","family":"Paine","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Marine Autonomy Laboratory,Cambridge,USA"}]},{"given":"Max L.","family":"Greene","sequence":"additional","affiliation":[{"name":"Aurora Flight Sciences, a Boeing Company,Cambridge,USA"}]},{"given":"Steven","family":"Lee","sequence":"additional","affiliation":[{"name":"Aurora Flight Sciences, a Boeing Company,Cambridge,USA"}]},{"given":"Sildomar T.","family":"Monteiro","sequence":"additional","affiliation":[{"name":"Aurora Flight Sciences, a Boeing Company,Cambridge,USA"}]},{"given":"Michael R.","family":"Benjamin","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Marine Autonomy Laboratory,Cambridge,USA"}]},{"given":"Jonathan P.","family":"How","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,USA"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.312"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/mti2030047"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3056059"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62469-9_7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1201\/9781351251389-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795548"},{"key":"ref8","article-title":"Efficient neural network robustness certification with general activation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref9","first-page":"5276","article-title":"Towards fast computation of certified robustness for relu networks","volume-title":"International Conference on Machine Learning","author":"Weng"},{"key":"ref10","first-page":"1129","article-title":"Automatic perturbation analysis for scalable certified robustness and beyond","volume":"33","author":"Xu","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref11","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"Tjeng","year":"2017"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref14","article-title":"Graduate studies in mathematics","author":"Evans","year":"1998"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264291"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.14232\/actacyb.285177"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561956"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2991090"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"key":"ref24","article-title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems","author":"Sidrane","year":"2021"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref26","first-page":"2055","article-title":"Sampling-based reachability analysis: A random set theory approach with adversarial sampling","volume-title":"Conference on robot learning","author":"Lew"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref29","article-title":"jax_verify: Neural network verification in jax","year":"2020"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0853-5_19"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3390\/math10163011"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.34768\/amcs-2021-0018"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1017\/9781139061759"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1002\/9781119994138"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6571"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4396-3_11"},{"key":"ref37","article-title":"The heron","author":"Benjamin","year":"2020"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4396-3_11"}],"event":{"name":"2024 IEEE International Conference on Robotics and Automation (ICRA)","location":"Yokohama, Japan","start":{"date-parts":[[2024,5,13]]},"end":{"date-parts":[[2024,5,17]]}},"container-title":["2024 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10609961\/10609862\/10610163.pdf?arnumber=10610163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T05:45:06Z","timestamp":1723268706000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10610163\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/icra57147.2024.10610163","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]}}}