{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:33:45Z","timestamp":1743140025750,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319095806"},{"type":"electronic","value":"9783319095813"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09581-3_21","type":"book-chapter","created":{"date-parts":[[2014,8,2]],"date-time":"2014-08-02T11:20:14Z","timestamp":1406978414000},"page":"298-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Driving Behavior Model for Intelligent Transportation Systems"],"prefix":"10.1007","author":[{"given":"Afaf","family":"Bouhoute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismail","family":"Berrada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"El Kamili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,3]]},"reference":[{"issue":"5","key":"21_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s00236-003-0135-6","volume":"40","author":"R Barbuti","year":"2004","unstructured":"Barbuti, R., Tesei, L.: Timed automata with urgent transitions. Acta Informatica 40(5), 317\u2013347 (2004)","journal-title":"Acta Informatica"},{"key":"21_CR2","unstructured":"Boyraz, P., Sathyanarayana, A., Hansen, J.L., Jonsson, E.: Driver behavior modeling using hybrid dynamic systems for driver-aware active vehicle safety. In: Proceedings of the Enhanced Safety of Vehicles, pp. 1\u20138 (2009)"},{"key":"21_CR3","unstructured":"Choi, S., Kim, J., Kwak, D., Angkititrakul, P., Hansen, J.H.L.: Analysis and classification of driver behavior using in-vehicle can-bus information. In: Biennial Workshop on DSP for In-Vehicle and Mobile Systems, pp. 17\u201319 (2007)"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/S0304-3975(99)00038-9","volume":"221","author":"TA Henzinger","year":"1999","unstructured":"Henzinger, T.A., Kopke, P.W.: Discrete-time control for rectangular hybrid automata. Theor. Comput. Sci. 221(1), 369\u2013392 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR5","unstructured":"Kumagai, T., Sakaguchi, Y., Okuwa, M., Akamatsu, M.: Prediction of driving behavior through probabilistic inference. In: Proceedings of the 8th International Conference Engineering Applications of Neural Networks, pp. 117\u2013123 (2003)"},{"issue":"1","key":"21_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid i\/o automata. Inf. Comput. 185(1), 105\u2013157 (2003)","journal-title":"Inf. Comput."},{"issue":"2","key":"21_CR7","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1109\/JPROC.2006.888388","volume":"95","author":"JC McCall","year":"2007","unstructured":"McCall, J.C., Trivedi, M.M.: Driver behavior and situation aware brake assistance for intelligent vehicles. Proc. IEEE 95(2), 374\u2013387 (2007)","journal-title":"Proc. IEEE"},{"issue":"2","key":"21_CR8","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1109\/JPROC.2006.888405","volume":"95","author":"C Miyajima","year":"2007","unstructured":"Miyajima, C., Nishiwaki, Y., Ozawa, K., Wakita, T., Itou, K., Takeda, K., Itakura, F.: Driver modeling based on driving behavior and its evaluation in driver identification. Proc. IEEE 95(2), 427\u2013437 (2007)","journal-title":"Proc. IEEE"},{"key":"21_CR9","volume-title":"Learning Automata: An Introduction","author":"KS Narendra","year":"2012","unstructured":"Narendra, K.S., Thathachar, A.L.M.: Learning Automata: An Introduction. Courier Dover Publications, New York (2012)"},{"key":"21_CR10","unstructured":"Ni, D.: Picoscopic Modeling. Lecture Notes in Traffic Flow Theory (2013)"},{"issue":"6","key":"21_CR11","first-page":"469","volume":"109","author":"K Nobuyuki","year":"2000","unstructured":"Nobuyuki, K., Tomohiro, Y., Osamu, S., Andrew, L.: A driver behavior recognition method based on a driver model framework. SAE Trans. 109(6), 469\u2013476 (2000)","journal-title":"SAE Trans."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Oliver, N., Pentland, A.P.: Driver behavior recognition and prediction in a smartcar. In: AeroSense 2000, pp. 280\u2013290. International Society for Optics and Photonics (2000)","DOI":"10.1117\/12.389351"},{"key":"21_CR13","unstructured":"Pietquin, O., Tango, F., et al.: A reinforcement learning approach to optimize the longitudinal behavior of a partial autonomous driving assistance system. In: ECAI, pp. 987\u2013992 (2012)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Rosenfeld, A., Zevi, B., Goldman, C.V., Kraus, S., LeBlanc, D.J., Tsimhoni, O.: Learning driver\u2019s behavior to improve the acceptance of adaptive cruise control. In: IAAI (2012)","DOI":"10.1609\/aaai.v26i2.18977"},{"key":"21_CR15","unstructured":"Sakaguchi, Y., Okuwa, M., Takiguchi, K., Akamatsu, M.: Measuring and modeling of driver for detecting unusual behavior for driving assistance. In: Proceedings of 18th International Technical Conference on the Enhanced Safety of Vehicles (2003)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Sathyanarayana, A., Boyraz, P., Hansen, J.H.L.: Driver behavior analysis and route recognition by hidden markov models. In: IEEE International Conference on Vehicular Electronics and Safety, ICVES 2008, pp. 276\u2013281. IEEE (2008)","DOI":"10.1109\/ICVES.2008.4640874"},{"issue":"2","key":"21_CR17","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1049\/iet-its.2012.0150","volume":"7","author":"A Schwarze","year":"2013","unstructured":"Schwarze, A., Buntins, M., Schicke-Uffmann, J., Goltz, U., Eggert, F.: Modelling driving behaviour using hybrid automata. IET Intell. Transport Syst. 7(2), 251\u2013256 (2013)","journal-title":"IET Intell. Transport Syst."}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09581-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T09:49:16Z","timestamp":1676886556000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-09581-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319095806","9783319095813"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09581-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"3 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}