{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:28:37Z","timestamp":1768350517172,"version":"3.49.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8264039","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T20:30:57Z","timestamp":1516739457000},"page":"2617-2622","source":"Crossref","is-referenced-by-count":7,"title":["Data-driven reachability analysis for human-in-the-loop systems"],"prefix":"10.1109","author":[{"given":"Vijay","family":"Govindarajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katherine","family":"Driggs-Campbell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruzena","family":"Bajcsy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref11","article-title":"A Survey of Tools for Model Checking and Model-Based Development","author":"strunk","year":"2006","journal-title":"University of Virginia"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_31"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.19"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2008.4621131"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1115\/1.4028589"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562127"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2325776"},{"key":"ref18","first-page":"81","article-title":"Reducing Conservativeness in Safety Guarantees by Learning Disturbances Online: Iterated Guaranteed Safe Online Learning","author":"gillula","year":"2013","journal-title":"Robotics Science and Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039601"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2715836"},{"key":"ref3","author":"coelingh","year":"2007","journal-title":"Collision warning with auto brake—A real-life safety perspective"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.125"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.250509"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1015330.1015430"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696982"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315654"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139410"},{"key":"ref9","volume":"104","author":"zhou","year":"1998","journal-title":"Essentials of Robust Control"},{"key":"ref20","article-title":"NYS DMV-Driver's Manual-Chapter 8: Defensive Driving","year":"2001","journal-title":"N Y S D of Motor Vehicles"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref23","article-title":"Next Generation SIMulation Fact Sheet","author":"halkias","year":"2006","journal-title":"US Department of Transportation Federal Highway Administration"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","location":"Melbourne, Australia","start":{"date-parts":[[2017,12,12]]},"end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08264039.pdf?arnumber=8264039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,28]],"date-time":"2018-02-28T21:52:34Z","timestamp":1519854754000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8264039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8264039","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}