{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T20:53:55Z","timestamp":1785531235631,"version":"3.56.0"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation to the University of Michigan","doi-asserted-by":"publisher","award":["CNS 1544844"],"award-info":[{"award-number":["CNS 1544844"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Scientific and Technological Research Council of Turkey to Bilkent University","award":["114E282"],"award-info":[{"award-number":["114E282"]}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory to the University of Michigan","doi-asserted-by":"publisher","award":["FA 8650-07-2-3744"],"award-info":[{"award-number":["FA 8650-07-2-3744"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/tcst.2017.2723574","type":"journal-article","created":{"date-parts":[[2017,7,26]],"date-time":"2017-07-26T18:46:20Z","timestamp":1501094780000},"page":"1782-1797","source":"Crossref","is-referenced-by-count":231,"title":["Game Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7928-8796","authenticated-orcid":false,"given":"Nan","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dave W.","family":"Oyler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mengxuan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6270-5354","authenticated-orcid":false,"given":"Yildiray","family":"Yildiz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ilya","family":"Kolmanovsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anouck R.","family":"Girard","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1257\/aer.96.5.1737"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-0277(02)00054-9"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S1369-8478(00)00005-X"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.1997.660454"},{"key":"ref31","first-page":"82","article-title":"Car-following model based on fuzzy inference system","author":"kikuchi","year":"1992","journal-title":"Transp Res Rec"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798354"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1162\/JEEA.2009.7.2-3.365"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1006\/game.1995.1031"},{"key":"ref35","article-title":"Entwicklung einer messmethode uber den bewegungsablauf des kolonnenverrkehrs","author":"hoefs","year":"1972"},{"key":"ref34","first-page":"44","article-title":"Perceptual factors in car following","author":"michaels","year":"1963","journal-title":"Proc 2nd Int Symp Theory Road Traffic Flow"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2015.7330990"},{"key":"ref40","volume":"1","author":"sutton","year":"1998","journal-title":"Reinforcement Learning An Introduction"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2014.6957722"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2015.XI.043"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.894653"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2013.6728576"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2012-MOVIC2012-8703"},{"key":"ref16","first-page":"v002t30a003","article-title":"A Stackelberg game theoretic driver model for merging","author":"yoo","year":"2013","journal-title":"Proc ASME Dyn Syst Control Conf"},{"key":"ref17","article-title":"Lane keeping assistance with learning-based driver model and model predictive control","author":"lef\u00e8vre","year":"2014","journal-title":"Proc Int Symp Advanced Vehicle Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225802"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315654"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2514\/1.G000426"},{"key":"ref4","article-title":"Formal verification of an autonomous vehicle system","author":"wongpiromsarn","year":"2008","journal-title":"Proc Conf Decision Control"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2514\/1.G000176"},{"key":"ref3","article-title":"With driverless cars, how safe is safe enough?","author":"kalra","year":"2016"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.664155"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525162"},{"key":"ref5","article-title":"Periodically controlled hybrid systems: Verifying a controller for an autonomous vehicle","author":"wongpiromsarn","year":"2008","journal-title":"Proc HSCC"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2015.04.007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref2","author":"anderson","year":"2014","journal-title":"Autonomous vehicle technology a guide for policymakers"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/rob.20253"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2010.0110"},{"key":"ref46","article-title":"2008 national motor vehicle crash causation survey","author":"administration","year":"2017"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2325776"},{"key":"ref45","article-title":"NGSIM—Next generation simulation","year":"2017"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0968-090X(02)00026-8"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.aap.2004.07.003"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3141\/1779-02","article-title":"Toward an integrated model of driver behavior in cognitive architecture","volume":"1779","author":"salvucci","year":"2001","journal-title":"Transp Res Rec J Transp Res Board"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BF00114727"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-3-642-24647-0_4","article-title":"Game theoretic modeling of pilot behavior during mid-air encounters","author":"lee","year":"2012","journal-title":"Decision Making With Imperfect Decision Makers"},{"key":"ref41","first-page":"345","article-title":"Reinforcement learning algorithm for partially observable Markov decision problems","author":"jaakkola","year":"1995","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.029"},{"key":"ref44","first-page":"663","article-title":"Algorithms for inverse reinforcement learning","author":"ng","year":"2000","journal-title":"Proc ICML"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2013.2254597"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012993258732"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2013.2270291"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/87\/8425800\/7993050-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/8425800\/07993050.pdf?arnumber=7993050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:49:35Z","timestamp":1649443775000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7993050\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":47,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2017.2723574","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"},{"value":"2374-0159","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}