{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:35:54Z","timestamp":1725687354092},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/wincom.2015.7381323","type":"proceedings-article","created":{"date-parts":[[2016,1,15]],"date-time":"2016-01-15T04:54:18Z","timestamp":1452833658000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["A holistic approach for modeling and verification of human driver behavior"],"prefix":"10.1109","author":[{"given":"Afaf","family":"Bouhoute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachid","family":"Oucheikh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yassine","family":"Zahraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismail","family":"Berrada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/wicom.2011.6040573"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09581-3_21"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00067-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00038-9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72734-7_32"},{"key":"ref15","first-page":"15213","article-title":"dt12: Differential temporal dynamic logic with nested temporalities for hybrid systems","author":"jeannin","year":"2014","journal-title":"Tech Rep CMU-CS-14-109"},{"key":"ref16","article-title":"Opends: A new open-source driving simulator for research","author":"math","year":"2013","journal-title":"GMM-Fachbericht-AmE 2013"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2004.1336503"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.sbspro.2011.08.075"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2008.10.012"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4271\/980853"},{"key":"ref8","article-title":"Road safety systems for monitoring fleet drivers","author":"al marzooqi","year":"2003","journal-title":"Proceedings of the 68th Road Safety Congress Safer Driving Reducing Risks Crashes & Casualties"},{"key":"ref7","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":"ref2","article-title":"Road sign recognition from a moving vehicle","author":"johansson","year":"2002","journal-title":"Tech Rep"},{"key":"ref1","first-page":"1936","article-title":"Real time traffic sign recognition system as speed regulator in iav","author":"yadav","year":"2009","journal-title":"IICAI"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.12720\/jtle.2.3.164-171"}],"event":{"name":"2015 International Conference on Wireless Networks and Mobile Communications (WINCOM)","start":{"date-parts":[[2015,10,20]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2015,10,23]]}},"container-title":["2015 International Conference on Wireless Networks and Mobile Communications (WINCOM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7369477\/7381297\/07381323.pdf?arnumber=7381323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T21:10:03Z","timestamp":1490389803000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381323\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/wincom.2015.7381323","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}