{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:00:55Z","timestamp":1754481655119},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319467498"},{"type":"electronic","value":"9783319467504"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46750-4_16","type":"book-chapter","created":{"date-parts":[[2016,9,20]],"date-time":"2016-09-20T22:11:57Z","timestamp":1474409517000},"page":"274-292","source":"Crossref","is-referenced-by-count":20,"title":["An Abstract Model for Proving Safety of Autonomous Urban Traffic"],"prefix":"10.1007","author":[{"given":"Martin","family":"Hilscher","sequence":"first","affiliation":[]},{"given":"Maike","family":"Schwammberger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/978-3-642-24559-6_28","volume-title":"Formal Methods and Software Engineering","author":"M Hilscher","year":"2011","unstructured":"Hilscher, M., Linker, S., Olderog, E.-R., Ravn, A.P.: An abstract model for proving safety of multi-lane traffic manoeuvres. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 404\u2013419. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24559-6_28"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-39698-4_12","volume-title":"Theories of Programming and Formal Methods","author":"M Hilscher","year":"2013","unstructured":"Hilscher, M., Linker, S., Olderog, E.-R.: Proving safety of traffic manoeuvres on country roads. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 196\u2013212. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39698-4_12"},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B Moszkowski","year":"1985","unstructured":"Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. Computer 18, 10\u201319 (1985)","journal-title":"Computer"},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C., Ravn, A.: A calculus of durations. Inf. Process. Lett. 40, 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-31862-0_33","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"A Sch\u00e4fer","year":"2005","unstructured":"Sch\u00e4fer, A.: A calculus for shapes in time and space. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 463\u2013477. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31862-0_33"},{"key":"16_CR6","first-page":"1181","volume-title":"Intelligent Transportation Systems (ITSC)","author":"SM Loos","year":"2011","unstructured":"Loos, S.M., Platzer, A.: Safe intersections: at the crossing of hybrid systems and verification. In: Yi, K. (ed.) Intelligent Transportation Systems (ITSC), pp. 1181\u20131186. Springer, Heidelberg (2011)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Werling, M., Gindele, T., Jagszent, D., Gr\u00f6ll, L.: A robust algorithm for handling moving traffic in urban scenarios. In: Proceedings of IEEE Intelligent Vehicles Symposium, Eindhoven, The Netherlands, pp. 168\u2013173 (2008)","DOI":"10.1109\/IVS.2008.4621260"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Colombo, A., Del Vecchio, D.: Efficient algorithms for collision avoidance at intersections. In: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2012, pp. 145\u2013154. ACM, New York (2012)","DOI":"10.1145\/2185632.2185656"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. TCS 126, 183\u2013235 (1994)","journal-title":"TCS"},{"key":"16_CR10","volume-title":"Using Z - Specification, Refinement, and Proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z - Specification, Refinement, and Proof. Prentice Hall, Upper Saddle River (1996)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-642-39718-9_14","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2013","author":"S Linker","year":"2013","unstructured":"Linker, S., Hilscher, M.: Proof theory of a multi-lane spatial logic. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) ICTAC 2013. LNCS, vol. 8049, pp. 231\u2013248. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39718-9_14"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30080-9_7"},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.R.: Verification of cooperating traffic agents. Int. J. Control 79, 395\u2013421 (2006)","journal-title":"Int. J. Control"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Damm, W., M\u00f6hlmann, E., Rakow, A.: Component based design of hybrid systems: a case study on concurrency and coupling. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, pp. 145\u2013150. ACM (2014)","DOI":"10.1145\/2562059.2562120"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Olderog, E., Ravn, A.P., Wisniewski, R.: Linking spatial and dynamic models for traffic maneuvers. In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, pp. 6809\u20136816, 15\u201318 December 2015","DOI":"10.1109\/CDC.2015.7403292"},{"key":"16_CR16","unstructured":"Linker, S.: Proofs for Traffic Safety - Combining Diagrams and Logic. Ph.d thesis, University of Oldenburg (2015)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-23506-6_11","volume-title":"Correct System Design","author":"M Fr\u00e4nzle","year":"2015","unstructured":"Fr\u00e4nzle, M., Hansen, M.R., Ody, H.: No need knowing numerous neighbours. In: Meyer, R., Platzer, A., Wehrheim, H. (eds.) Correct System Design. LNCS, vol. 9360, pp. 152\u2013171. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23506-6_11"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Alrahman, Y.A., De\u00a0Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.:A calculus for attribute-based communication. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC 2015, pp. 1840\u20131845. ACM, New York (2015)","DOI":"10.1145\/2695664.2695668"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS 1977, Washington, DC, USA, pp. 46\u201357. IEEE Computer Society (1977)","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46750-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:17:22Z","timestamp":1498331842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46750-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319467498","9783319467504"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46750-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}