{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T06:09:51Z","timestamp":1775282991529,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030017125","type":"print"},{"value":"9783030017132","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01713-2_21","type":"book-chapter","created":{"date-parts":[[2018,11,23]],"date-time":"2018-11-23T14:22:06Z","timestamp":1542982926000},"page":"292-304","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles\u2019 Behaviors: A Case Study"],"prefix":"10.1007","author":[{"given":"Johan","family":"Arcile","sequence":"first","affiliation":[]},{"given":"J\u00e9r\u00e9my","family":"Sobieraj","sequence":"additional","affiliation":[]},{"given":"Hanna","family":"Klaudel","sequence":"additional","affiliation":[]},{"given":"Guillaume","family":"Hutzler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"issue":"7","key":"21_CR1","doi-asserted-by":"publisher","first-page":"1640","DOI":"10.1016\/j.simpat.2011.02.008","volume":"19","author":"BY Ekren","year":"2011","unstructured":"Ekren, B.Y., Heragu, S.S.: Simulation based performance analysis of an autonomous vehicle storage and retrieval system. Simul. Model. Pract. Theor. 19(7), 1640\u20131650 (2011)","journal-title":"Simul. Model. Pract. Theor."},{"issue":"5","key":"21_CR2","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/S0968-090X(02)00025-6","volume":"10","author":"H Dia","year":"2002","unstructured":"Dia, H.: An agent-based approach to modelling driver route choice behaviour under the influence of real-time information. Transp. Res. Part C: Emerg. Technol. 10(5), 331\u2013349 (2002)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1109\/TAC.2004.825632","volume":"49","author":"T Shamir","year":"2004","unstructured":"Shamir, T.: How should an autonomous vehicle overtake a slower moving vehicle: design and analysis of an optimal trajectory. IEEE Trans. Automat. Control 49, 607\u2013610 (2004)","journal-title":"IEEE Trans. Automat. Control"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Hybrid-state driver\/vehicle modelling, estimation and prediction. In: 13th International IEEE Conference on Intelligent Transportation Systems, pp. 806\u2013811 (2010)","DOI":"10.1109\/ITSC.2010.5625201"},{"issue":"3","key":"21_CR5","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S0001-4575(02)00022-2","volume":"35","author":"K Vogel","year":"2003","unstructured":"Vogel, K.: A comparison of headway and time to collision as safety indicators. Accid. Anal. Prev. 35(3), 427\u2013433 (2003)","journal-title":"Accid. Anal. Prev."},{"issue":"1","key":"21_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0001-4575(00)00019-1","volume":"33","author":"MM Minderhoud","year":"2001","unstructured":"Minderhoud, M.M., Bovy, P.H.: Extended time-to-collision measures for road traffic safety assessment. Accid. Anal. Prev. 33(1), 89\u201397 (2001)","journal-title":"Accid. Anal. Prev."},{"issue":"5","key":"21_CR7","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/j.trc.2005.03.001","volume":"13","author":"J Lint van","year":"2005","unstructured":"van Lint, J., Hoogendoorn, S., van Zuylen, H.: Accurate freeway travel time prediction with state-space neural networks under missing data. Transp. Res. Part C: Emerg. Technol. 13(5), 347\u2013369 (2005)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"issue":"3","key":"21_CR8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0191-2615(88)90017-3","volume":"22","author":"G-L Chang","year":"1988","unstructured":"Chang, G.-L., Mahmassani, H.S.: Travel time prediction and departure time adjustment behavior dynamics in a congested traffic system. Transp. Res. Part C: Emerg. Technol. 22(3), 217\u2013232 (1988)","journal-title":"Transp. Res. Part C: Emerg. Technol."},{"issue":"2","key":"21_CR9","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0191-2615(81)90037-0","volume":"15","author":"PG Gipps","year":"1981","unstructured":"Gipps, P.G.: A behavioural car-following model for computer simulation. Transp. Res. Part B 15(2), 105\u2013111 (1981)","journal-title":"Transp. Res. Part B"},{"key":"21_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32460-4_10","volume-title":"Traffic Flow Dynamics","author":"M Treiber","year":"2013","unstructured":"Treiber, M., Kesting, A.: Elementary car-following models. In: Treiber, M., Kesting, A. (eds.) Traffic Flow Dynamics. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-32460-4_10"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, S., Deng, W., Zhao, Q., Sun, H., Litkouhi, B.: Dynamic trajectory planning for vehicle autonomous driving. In: Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013, pp. 4161\u20134166 (2013)","DOI":"10.1109\/SMC.2013.709"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Bai, F., Krishnan, H.: Reliability analysis of DSRC wireless communication for vehicle safety applications. In: IEEE Intelligent Transportation Systems Conference (ITSC), pp. 355\u2013362 (2006)","DOI":"10.1109\/ITSC.2006.1706767"},{"key":"21_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32460-4","volume-title":"Traffic Flow Dynamics","author":"M Treiber","year":"2013","unstructured":"Treiber, M., Kesting, A.: Traffic Flow Dynamics. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-32460-4"},{"issue":"1","key":"21_CR14","doi-asserted-by":"publisher","first-page":"86","DOI":"10.3141\/1999-10","volume":"1999","author":"A Kesting","year":"2007","unstructured":"Kesting, A., Treiber, M., Helbing, D.: General lane-changing model MOBIL for car-following models. Transp. Res. Rec.: J. Transp. Res. Board 1999(1), 86\u201394 (2007)","journal-title":"Transp. Res. Rec.: J. Transp. Res. Board"},{"key":"21_CR15","volume-title":"Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence","author":"J Ferber","year":"1999","unstructured":"Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, vol. 222. Addison-Wesley, Boston (1999)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-642-25920-3_17","volume-title":"Principles and Practice of Multi-Agent Systems","author":"P Taillandier","year":"2012","unstructured":"Taillandier, P., Vo, D.-A., Amouroux, E., Drogoul, A.: GAMA: a simulation platform that integrates geographical information data, agent-based modeling and multi-scale control. In: Desai, N., Liu, A., Winikoff, M. (eds.) PRIMA 2010. LNCS (LNAI), vol. 7057, pp. 242\u2013258. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-25920-3_17"},{"key":"21_CR17","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-62410-5_21","volume-title":"Distributed Computing and Artificial Intelligence, 14th International Conference","author":"J Arcile","year":"2018","unstructured":"Arcile, J., Devillers, R., Klaudel, H., Klaudel, W., Wo\u017ana-Szcze\u015bniak, B.: Modeling and checking robustness of communicating autonomous vehicles. Distributed Computing and Artificial Intelligence, 14th International Conference. AISC, vol. 620, pp. 173\u2013180. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-62410-5_21"},{"key":"21_CR18","unstructured":"UPPAAL. http:\/\/www.uppaal.org\/"},{"key":"21_CR19","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transfer (STTT) 1, 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transfer (STTT)"},{"issue":"33","key":"21_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"1","author":"EA Emerson","year":"1986","unstructured":"Emerson, E.A., Halpern, J.Y.: \u201cSometimes\u201d and \u201cnot never\u201d revisited: on branching versus linear time temporal logic. J. ACM 1(33), 151\u2013178 (1986)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01713-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T05:30:24Z","timestamp":1775280624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01713-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030017125","9783030017132"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01713-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}