{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:17:24Z","timestamp":1725520644965},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642347801"},{"type":"electronic","value":"9783642347818"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34781-8_5","type":"book-chapter","created":{"date-parts":[[2012,10,11]],"date-time":"2012-10-11T15:20:37Z","timestamp":1349968837000},"page":"61-75","source":"Crossref","is-referenced-by-count":0,"title":["Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments"],"prefix":"10.1007","author":[{"given":"Tobe","family":"Toben","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f6nke","family":"Eilers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Kuka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00f6ren","family":"Schweigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Winkelmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Ruehrup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"STAR","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-540-73422-2_4","volume-title":"Autonomous Navigation in Dynamic Environments","author":"R. Alami","year":"2007","unstructured":"Alami, R., Krishna, K., Simeon, T.: Provably Safe Motions Strategies for Mobile Robots in Dynamic Domains. In: Autonomous Navigation in Dynamic Environments. STAR, vol.\u00a035, pp. 85\u2013106. Springer, Heidelberg (2007)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Stochastic reachable sets of interacting traffic participants. In: 2008 IEEE Intelligent Vehicles Symposium, pp. 1086\u20131092 (2008)","DOI":"10.1109\/IVS.2008.4621131"},{"issue":"4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1504\/IJAHUC.2007.014070","volume":"2","author":"M. Baldauf","year":"2007","unstructured":"Baldauf, M., Dustdar, S., Rosenberg, F.: A survey on context-aware systems. IJAHUC\u00a02(4), 263\u2013277 (2007)","journal-title":"IJAHUC"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Benenson, R., Fraichard, T., Parent, M.: Achievable safety of driverless ground vehicles. In: ICARCV, pp. 515\u2013521. IEEE (2008)","DOI":"10.1109\/ICARCV.2008.4795572"},{"issue":"4","key":"5_CR5","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1524\/itit.2008.0493","volume":"50","author":"C. Berger","year":"2008","unstructured":"Berger, C., Rumpe, B.: Autonomous Driving - Insights from the DARPA Urban Challenge. IT - Information Technology\u00a050(4), 258\u2013264 (2008)","journal-title":"IT - Information Technology"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., Riboni, D.: A survey of context modelling and reasoning techniques. Pervasive and Mobile Computing (June 2009)","DOI":"10.1016\/j.pmcj.2009.06.002"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Caveney, D.: Hierarchical software architectures and vehicular path prediction for cooperative driving applications. In: 11th Int. IEEE Conf. on Intelligent Transportation Systems (ITSC 2008), October 2008, pp. 1201\u20131206 (2008)","DOI":"10.1109\/ITSC.2008.4732536"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"5_CR9","first-page":"245","volume-title":"Automatisierungs-, Assistenzsysteme und eingebettete Systeme f\u00fcr Transportmittel","author":"S. Eilers","year":"2011","unstructured":"Eilers, S., Peikenkamp, T., R\u00fchrup, S., Schweigert, S., Toben, T., Winkelmann, H.: Eine Generische Gef\u00e4hrdungsliste f\u00fcr Fahrerlose Transportfahrzeuge in der Intralogistik. In: Automatisierungs-, Assistenzsysteme und eingebettete Systeme f\u00fcr Transportmittel, pp. 245\u2013259. ITS Nds. e.V, Braunschweig (2011)"},{"key":"5_CR10","unstructured":"EN 954-1:1996, Safety of machinery - Safety-related parts of control systems (1996)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Ess, A., Leibe, B., Schindler, K., Gool, L.J.V.: Moving obstacle detection in highly dynamic scenes. In: ICRA, pp. 56\u201363. IEEE (2009)","DOI":"10.1109\/ROBOT.2009.5152884"},{"key":"5_CR12","unstructured":"European Committee for Standardization (CEN): Safety of industrial trucks - Driverless trucks and their systems; German version EN 1525 (1997)"},{"issue":"10","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1163\/1568553042674662","volume":"18","author":"T. Fraichard","year":"2004","unstructured":"Fraichard, T., Asama, H.: Inevitable collision states - a step towards safer robots? Advanced Robotics\u00a018(10), 1001\u20131024 (2004)","journal-title":"Advanced Robotics"},{"key":"5_CR14","unstructured":"ISO EN 13849-1:2006 Safety of machinery - Safety-related parts of control systems (2006)"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/6979.898217","volume":"1","author":"J.K. Kuchar","year":"2000","unstructured":"Kuchar, J.K., Yang, L.C.: A review of conflict detection and resolution modeling methods. IEEE Trans. on Intelligent Transportation Systems\u00a01, 179\u2013189 (2000)","journal-title":"IEEE Trans. on Intelligent Transportation Systems"},{"key":"5_CR16","unstructured":"L\u00fcth, C., Frese, U., T\u00e4ubig, H., Walter, D., Hausmann, D.: SAMS Sicherheitskomponente f\u00fcr Autonome Mobile Serviceroboter. In: VDI-Bericht 2012. VDI (2008)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1002\/rob.20258","volume":"25","author":"M. Montemerlo","year":"2008","unstructured":"Montemerlo, M., Becker, J., Bhat, S., Dahlkamp, H., Dolgov, D., Ettinger, S., Haehnel, D., Hilden, T., Hoffmann, G., Huhnke, B., Johnston, D., Klumpp, S., Langer, D., Levandowski, A., Levinson, J., Marcil, J., Orenstein, D., Paefgen, J., Penny, I., Petrovskaya, A., Pflueger, M., Stanek, G., Stavens, D., Vogt, A., Thrun, S.: Junior: The stanford entry in the urban challenge. J. Field Robot.\u00a025, 569\u2013597 (2008)","journal-title":"J. Field Robot."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: 18th Symposium on Foundations of Computer Science, pp. 46\u201357 (October 1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR19","unstructured":"Safespot: cooperative vehicles and road infrastructure for road safety, \n                    \n                      http:\/\/www.safespot-eu.org"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Schmidt, C., Oechsle, F., Branz, W.: Research on trajectory planning in emergency situations with multiple objects. In: IEEE Intelligent Transportation Systems Conference (ITSC 2006), pp. 988\u2013992 (2006)","DOI":"10.1109\/ITSC.2006.1707153"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10514-006-9721-0","volume":"22","author":"D. Seward","year":"2007","unstructured":"Seward, D., Pace, C., Agate, R.: Safe and effective navigation of autonomous robots in hazardous environments. Auton. Robots\u00a022, 223\u2013242 (2007)","journal-title":"Auton. Robots"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Thorpe, C., Carlson, J., Duggins, D., Gowdy, J., MacLachlan, R., Mertz, C., Suppe, A., Wang, B.: Safe Robot Driving in Cluttered Environments. In: 11th Int. Symposium on Robotics Research (ISRR 2003), pp. 271\u2013280 (2005)","DOI":"10.1007\/11008941_29"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-16982-3_8","volume-title":"Smart Sensing and Context","author":"T. Toben","year":"2010","unstructured":"Toben, T.: A Formal Model of Reliable Sensor Perception. In: Lukowicz, P., Kunze, K., Kortuem, G. (eds.) EuroSSC 2010. LNCS, vol.\u00a06446, pp. 94\u2013107. Springer, Heidelberg (2010)"},{"key":"5_CR24","unstructured":"Toben, T., Rakow, J.H.: Safety and Precision of Spatial Context Models for Autonomous Systems. In: 1st ETAPS Workshop on Hybrid Autonomous Systems (HAS 2011). ENTCS (2011) (to appear)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Ullrich, G.: Fahrerlose Transportsysteme. Vieweg + Teubner (2011)","DOI":"10.1007\/978-3-8348-9890-6"},{"key":"5_CR26","doi-asserted-by":"publisher","DOI":"10.1002\/0471786454","volume-title":"Basic Guide to System Safety","author":"J. Vincoli","year":"2006","unstructured":"Vincoli, J.: Basic Guide to System Safety, 2nd edn. Wiley, New York (2006)","edition":"2"},{"key":"5_CR27","unstructured":"Walter, D.: A Formal Verification Environment for Use in the Certification of Safety-Related C Programs. Ph.D. thesis, Universit\u00e4t Bremen (2010)"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/11875567_16","volume-title":"Computer Safety, Reliability, and Security","author":"A. Wardzi\u0144ski","year":"2006","unstructured":"Wardzi\u0144ski, A.: The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 205\u2013218. Springer, Heidelberg (2006)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34781-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T05:48:16Z","timestamp":1557294496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34781-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642347801","9783642347818"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34781-8_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}