{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:24:00Z","timestamp":1730204640594,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619568","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:12:50Z","timestamp":1548288770000},"page":"3615-3621","source":"Crossref","is-referenced-by-count":6,"title":["Modelling of uncertain reactive human driving behavior: a classification approach"],"prefix":"10.1109","author":[{"given":"Yuxiao","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nauman","family":"Sohani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huei","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2192262"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2004.1336425"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1162\/089976699300016890"},{"key":"ref13","article-title":"Data-driven probabilistic modeling and verification of human driver behavior","author":"sadigh","year":"2014","journal-title":"Formal Verification and Modeling in Human-Machine Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2014.2357038"},{"journal-title":"Safety Pilot Model Deployment Test Conductor Team Report","year":"2015","author":"bezzina","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-009-9579-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1137\/090773490"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF00994018"},{"key":"ref19","first-page":"148","article-title":"Experiments with a new boosting algorithm","volume":"96","author":"freund","year":"1996","journal-title":"ICML"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039482"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799145"},{"key":"ref5","article-title":"Correctness guarantees for the composition of lane keeping and adaptive cruise control","author":"xu","year":"2017","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1076\/vesd.40.1.101.15875"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.029"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2654063"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S1369-8478(00)00005-X"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S1532-0464(03)00034-0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.02.023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2539222"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623400366802"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1109\/CDC.2002.1184594","article-title":"Introducing sostools: A general purpose sum of squares programming solver","volume":"1","author":"prajna","year":"2002","journal-title":"Decision and Control 2002 Proceedings of the 41st IEEE Conference on"},{"key":"ref25","volume":"1","author":"lasserre","year":"2010","journal-title":"Moments Positive Polynomials and Their Applications"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619568.pdf?arnumber=8619568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:36:20Z","timestamp":1598229380000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619568\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619568","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}