{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:33:58Z","timestamp":1743050038573,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142604"},{"type":"electronic","value":"9783642142611"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-14261-1_20","type":"book-chapter","created":{"date-parts":[[2011,2,8]],"date-time":"2011-02-08T18:07:42Z","timestamp":1297188462000},"page":"195-205","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Using Guided Simulation to Assess Driver Assistance Systems \u2605"],"prefix":"10.1007","author":[{"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tayfun","family":"Gezgin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hardi","family":"Hungar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Puch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"Sauter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,1,31]]},"reference":[{"key":"20_CR1","unstructured":"M. Baumann, H. Colonius, H. Hungar, F. K\u00f6ster, M. Langner, A. L\u00fcdtke, C. M\u00f6bus, J. Peinke, S. Puch, C. Schiessl, R. Steenken, and L.Weber. Integrated modelling for safe transportation - driver modeling and driver experiments, In: Fahrermodellierung in Wissenschaft und Wirtschaft, 2. Berliner Fachtagung f\u00fcr Fahrzeugsmodellierung. VDI Verlag, D\u00fcesseldorf, 2008."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"L. de Alfaro, M. Faella, and M. I. A. Stoelinga. Linear and branching metrics for quantitative transition systems. In Proc. 31st Int\u2019l Colloq. on Automata, Languages and Programming (ICALP04), Turku, Finland, volume 3142 of Lecture Notes in Computer Science, pages 97\u2013109, Berlin, 2004. Springer.","DOI":"10.1007\/978-3-540-27836-8_11"},{"key":"20_CR3","unstructured":"IEEE 1516-2000 Standard for Modeling and Simulation (M&S). High level architecture - framework and rules. IEEE Computer Society Press, September 2000."},{"key":"20_CR4","unstructured":"T. Gezgin. Observerbasierte on-the-fly Auswertung von QLTL-Formeln innerhalb eines HLA-Simulationsverbundes. Master\u2019s thesis, Carl von Ossietzky University Oldenburg, 2009."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Claus M\u00f6bus and Mark Eilers. Further steps towards driver modeling according to the bayesian programming approach. In Vincent Duffy, editor, Digital Human Modeling, volume 5620 of Lecture Notes in Computer Science, pages 413\u2013422. Springer Berlin \/ Heidelberg, 2009.","DOI":"10.1007\/978-3-642-02809-0_44"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Claus M\u00f6bus, Mark Eilers, Hilke Garbe, and Malte Zilinski. Probabilistic and empirical grounded modeling of agents in (partial) cooperative traffic scenarios. In Vincent Duffy, editor, Digital Human Modeling, volume 5620 of Lecture Notes in Computer Science, pages 423\u2013432. Springer Berlin \/ Heidelberg, 2009.","DOI":"10.1007\/978-3-642-02809-0_45"},{"key":"20_CR7","unstructured":"Gerald Sauter, Henning Dierks, Martin Fr\u00e4nzle, and Michael R. Hansen. Lightweight hybrid model checking facilitating online prediction of temporal properties. In Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT \u201909, pages 20\u201322, Kgs. Lyngby, Denmark, 2009. Danmarks Tekniske Universitet."},{"key":"20_CR8","unstructured":"L.Weber, M. Baumann, A. L\u00fcdtke, and R. Steenken. Modellierung von Entscheidungen beim Einf\u00e4deln auf die Autobahn. To appear: Fortschritts-Berichte VDI: Der Mensch im Mittelpunkt technischer Systeme. 8. Berliner Werkstatt Mensch- Maschine-Systeme, 2009."}],"container-title":["FORMS\/FORMAT 2010"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14261-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T23:32:38Z","timestamp":1675726358000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-14261-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642142604","9783642142611"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14261-1_20","relation":{},"subject":[],"published":{"date-parts":[[2011]]},"assertion":[{"value":"31 January 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}