{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:46:58Z","timestamp":1768340818660,"version":"3.49.0"},"reference-count":17,"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"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1836952"],"award-info":[{"award-number":["CNS-1836952"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,13]]},"DOI":"10.1109\/cdc49753.2023.10383447","type":"proceedings-article","created":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:38:36Z","timestamp":1705689516000},"page":"1730-1735","source":"Crossref","is-referenced-by-count":3,"title":["Data-Driven Forward Stochastic Reachability Analysis for Human-in-the-Loop Systems"],"prefix":"10.1109","author":[{"given":"Joonwon","family":"Choi","sequence":"first","affiliation":[{"name":"School of Aeronautics and Astronautics, Purdue University,West Lafayette,IN,USA,47907"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sooyung","family":"Byeon","sequence":"additional","affiliation":[{"name":"School of Aeronautics and Astronautics, Purdue University,West Lafayette,IN,USA,47907"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inseok","family":"Hwang","sequence":"additional","affiliation":[{"name":"School of Aeronautics and Astronautics, Purdue University,West Lafayette,IN,USA,47907"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049818"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2954102"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3257167"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/CCC52363.2021.9550748"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920950795"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264039"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2707129"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2018.2843125"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2010.2072502"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-015-0187-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SMC52423.2021.9658994"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2015.05.005"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.11.232"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.07.023"},{"key":"ref15","volume-title":"Quadrotor control: modeling, nonlinear control design, and simulation","author":"Sabatino","year":"2015"},{"key":"ref16","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","year":"2021"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147918"}],"event":{"name":"2023 62nd IEEE Conference on Decision and Control (CDC)","location":"Singapore, Singapore","start":{"date-parts":[[2023,12,13]]},"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\/10383447.pdf?arnumber=10383447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T16:48:36Z","timestamp":1706028516000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10383447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/cdc49753.2023.10383447","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}