{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:26:56Z","timestamp":1762954016944,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031681493"},{"type":"electronic","value":"9783031681509"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-68150-9_1","type":"book-chapter","created":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:22Z","timestamp":1724155342000},"page":"3-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Safe Linear Encoding of\u00a0Vehicle Dynamics for\u00a0the\u00a0Instantiation of\u00a0Abstract Scenarios"],"prefix":"10.1007","author":[{"given":"Jan Steffen","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,21]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"Bach, J., Otten, S., Sax, E.: Model based scenario specification for development and test of automated driving functions. In: 2016 IEEE Intelligent Vehicles Symposium (IV), pp. 1149\u20131155 (2016). https:\/\/doi.org\/10.1109\/IVS.2016.7535534","DOI":"10.1109\/IVS.2016.7535534"},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"Becker, J., et al.: Simulation of abstract scenarios: towards automated tooling in criticality analysis, pp. 42\u201351 (2022). https:\/\/doi.org\/10.5281\/zenodo.5907154","DOI":"10.5281\/zenodo.5907154"},{"key":"1_CR3","unstructured":"Becker, J.S.: Partial consistency for requirement engineering with traffic sequence charts. In: Automotive Software Engineering (ASE2020) (2020)"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-030-17601-3_4","volume-title":"Engineering Trustworthy Software Systems","author":"N Bj\u00f8rner","year":"2019","unstructured":"Bj\u00f8rner, N., de Moura, L., Nachmanson, L., Wintersteiger, C.M.: Programming Z3. In: Bowen, J., Liu, Z., Zhang, Z. (eds.) SETSS 2018. LNCS, vol. 11430, pp. 148\u2013201. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17601-3_4"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Butz, M., et al.: SOCA: domain analysis for highly automated driving systems. In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp.\u00a01\u20136 (2020). https:\/\/doi.org\/10.1109\/ITSC45102.2020.9294438","DOI":"10.1109\/ITSC45102.2020.9294438"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Choi, J.W., Curry, R., Elkaim, G.: Path planning based on B\u00e9zier curve for autonomous ground vehicles. In: Advances in Electrical and Electronics Engineering-IAENG Special Edition of the World Congress on Engineering and Computer Science 2008, pp. 158\u2013166. IEEE (2008)","DOI":"10.1109\/WCECS.2008.27"},{"key":"1_CR7","unstructured":"Damm, W., Kemper, S., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: Using traffic sequence charts for the development of HAVs. In: ERTS 2018. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Toulouse, France (2018). https:\/\/hal.science\/hal-01714060"},{"key":"1_CR8","unstructured":"Damm, W., Kemper, S., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: Traffic sequence charts: a visual language for capturing traffic scenarios. In: Embedded Real Time Software and Systems - ERTS2018 (2018)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-319-95246-8_11","volume-title":"Principles of Modeling","author":"W Damm","year":"2018","unstructured":"Damm, W., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: A formal semantics for traffic sequence charts. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling. LNCS, vol. 10760, pp. 182\u2013205. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_11"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Eggers, A., Stasch, M., Teige, T., Bienm\u00fcller, T., Brockmeyer, U.: Constraint systems from traffic scenarios for the validation of autonomous driving. In: Third International Workshop on Satisfiability Checking and Symbolic Computation, Part of FLOC 2018 (2018)","DOI":"10.29007\/x3v9"},{"key":"1_CR11","unstructured":"Foretellix Ltd.: Measurable scenario description language reference. Technical report, Foretellix Ltd. (2020). https:\/\/www.foretellix.com\/wp-content\/uploads\/2020\/07\/M-SDL_LRM_OS.pdf. Accessed 19 Apr 2024"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258\u2013273. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_17"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"issue":"10","key":"1_CR14","doi-asserted-by":"publisher","first-page":"3805","DOI":"10.1007\/s10994-021-06120-5","volume":"112","author":"DJ Fremont","year":"2023","unstructured":"Fremont, D.J., et al.: Scenic: a language for scenario specification and data generation. Mach. Learn. 112(10), 3805\u20133849 (2023). https:\/\/doi.org\/10.1007\/s10994-021-06120-5","journal-title":"Mach. Learn."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Goyal, S., Griggio, A., Kimblad, J., Tonetta, S.: Automatic generation of scenarios for system-level simulation-based verification of autonomous driving systems. arXiv preprint arXiv:2311.09784 (2023)","DOI":"10.4204\/EPTCS.395.8"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Grundt, D., K\u00f6hne, A., Saxena, I., Stemmer, R., Westphal, B., M\u00f6hlmann, E.: Towards runtime monitoring of complex system requirements for autonomous driving functions (2022). https:\/\/doi.org\/10.48550\/arXiv.2209.14032","DOI":"10.48550\/arXiv.2209.14032"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Han, L., Yashiro, H., Nejad, H.T.N., Do, Q.H., Mita, S.: Bezier curve based path planning for autonomous vehicle in urban environment. In: 2010 IEEE Intelligent Vehicles Symposium, pp. 1036\u20131042. IEEE (2010)","DOI":"10.1109\/IVS.2010.5548085"},{"key":"1_CR18","unstructured":"Hartjen, L., Philipp, R., Schuldt, F., Friedrich, B., Howar, F.: Classification of driving maneuvers in urban traffic for parametrization of test scenarios. In: 9. Tagung Automatisiertes Fahren (2019)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Klischat, M., Althoff, M.: Synthesizing traffic scenarios from formal specifications for testing automated vehicles. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp. 2065\u20132072. IEEE (2020)","DOI":"10.1109\/IV47402.2020.9304617"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Kong, J., Pfeiffer, M., Schildbach, G., Borrelli, F.: Kinematic and dynamic vehicle models for autonomous driving control design, pp. 1094\u20131099 (2015). https:\/\/doi.org\/10.1109\/IVS.2015.7225830","DOI":"10.1109\/IVS.2015.7225830"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-030-58920-2_11","volume-title":"Model-Based Safety and Assessment","author":"B Kramer","year":"2020","unstructured":"Kramer, B., Neurohr, C., B\u00fcker, M., B\u00f6de, E., Fr\u00e4nzle, M., Damm, W.: Identification and quantification of hazardous scenarios for automated driving. In: Zeller, M., H\u00f6fig, K. (eds.) IMBSA 2020. LNCS, vol. 12297, pp. 163\u2013178. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58920-2_11"},{"issue":"12","key":"1_CR22","doi-asserted-by":"publisher","first-page":"342","DOI":"10.3390\/machines9120342","volume":"9","author":"J Ma","year":"2021","unstructured":"Ma, J., Che, X., Li, Y., Lai, E.M.K.: Traffic scenarios for automated vehicle testing: a review of description languages and systems. Machines 9(12), 342 (2021)","journal-title":"Machines"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Menzel, T., Bagschik, G., Isensee, L., Schomburg, A., Maurer, M.: From functional to logical scenarios: detailing a keyword-based scenario description for execution in a simulation environment. In: 2019 IEEE Intelligent Vehicles Symposium (IV), pp. 2383\u20132390 (2019). https:\/\/doi.org\/10.1109\/IVS.2019.8814099","DOI":"10.1109\/IVS.2019.8814099"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Menzel, T., Bagschik, G., Maurer, M.: Scenarios for development, test and validation of automated vehicles. In: 2018 IEEE Intelligent Vehicles Symposium (IV), pp. 1821\u20131827. IEEE (2018). https:\/\/doi.org\/10.1109\/IVS.2018.8500406","DOI":"10.1109\/IVS.2018.8500406"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"18016","DOI":"10.1109\/ACCESS.2021.3053159","volume":"9","author":"C Neurohr","year":"2021","unstructured":"Neurohr, C., Westhofen, L., Butz, M., Bollmann, M.H., Eberle, U., Galbas, R.: Criticality analysis for the verification and validation of automated vehicles. IEEE Access 9, 18016\u201318041 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3053159","journal-title":"IEEE Access"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Neurohr, C., Westhofen, L., Henning, T., de\u00a0Graaff, T., Mohlmann, E., Bode, E.: Fundamental considerations around scenario-based testing for automated driving. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp. 121\u2013127. IEEE (2020). https:\/\/doi.org\/10.1109\/IV47402.2020.9304823","DOI":"10.1109\/IV47402.2020.9304823"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Phan, Q.S., Malacaria, P.: All-solution satisfiability modulo theories: applications, algorithms and benchmarks. In: 2015 10th International Conference on Availability, Reliability and Security, pp. 100\u2013109 (2015). https:\/\/doi.org\/10.1109\/ARES.2015.14","DOI":"10.1109\/ARES.2015.14"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-73368-3_48","volume-title":"Computer Aided Verification","author":"E Plaku","year":"2007","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Hybrid systems: from verification to falsification. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 463\u2013476. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_48"},{"issue":"4","key":"1_CR30","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10009-012-0233-2","volume":"15","author":"E Plaku","year":"2013","unstructured":"Plaku, E., Kavraki, L.E., Vardi, M.Y.: Falsification of LTL safety properties in hybrid systems. Int. J. Softw. Tools Technol. Transfer 15(4), 305\u2013320 (2013)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR31","volume-title":"B\u00e9zier and B-Spline Techniques","author":"H Prautzsch","year":"2013","unstructured":"Prautzsch, H., Boehm, W., Paluszny, M.: B\u00e9zier and B-Spline Techniques. Springer, Heidelberg (2013)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Qian, X., Navarro, I., de\u00a0La\u00a0Fortelle, A., Moutarde, F.: Motion planning for urban autonomous driving using B\u00e9zier curves and MPC. In: 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), pp. 826\u2013833. IEEE (2016)","DOI":"10.1109\/ITSC.2016.7795651"},{"key":"1_CR33","unstructured":"Rauschert, A., Amid, G.: ASAM OpenSCENARIO DSL 2.1.0: release presentation. Presentation (2024). https:\/\/www.asam.net\/standards\/detail\/openscenario-dsl\/. Accessed 08 May 2024"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-36045-2_10","volume-title":"Vehicle Dynamics","author":"D Schramm","year":"2014","unstructured":"Schramm, D., Hiller, M., Bardini, R.: Single track models. In: Schramm, D., Hiller, M., Bardini, R. (eds.) Vehicle Dynamics, pp. 223\u2013253. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-540-36045-2_10"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-61607-0_7","volume-title":"Automotive Systems Engineering II","author":"F Schuldt","year":"2018","unstructured":"Schuldt, F., Reschka, A., Maurer, M.: A method for an efficient, systematic test case generation for advanced driver assistance systems in virtual environments. In: Winner, H., Prokop, G., Maurer, M. (eds.) Automotive Systems Engineering II, pp. 147\u2013175. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-61607-0_7"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.tcs.2018.05.028","volume":"744","author":"M Schwammberger","year":"2018","unstructured":"Schwammberger, M.: An abstract model for proving safety of autonomous urban traffic. Theor. Comput. Sci. 744, 143\u2013169 (2018)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Ulbrich, S., Menzel, T., Reschka, A., Schuldt, F., Maurer, M.: Defining and substantiating the terms scene, situation, and scenario for automated driving. In: 2015 IEEE 18th International Conference on Intelligent Transportation Systems, pp. 982\u2013988. IEEE (2015)","DOI":"10.1109\/ITSC.2015.164"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Zhang, X., Khastgir, S., Jennings, P.: Scenario description language for automated driving systems: a two level abstraction approach. In: 2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 973\u2013980. IEEE (2020)","DOI":"10.1109\/SMC42975.2020.9283417"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68150-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T12:02:33Z","timestamp":1724155353000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68150-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031681493","9783031681509"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68150-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.fm24.polimi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}