{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T14:42:40Z","timestamp":1781620960077,"version":"3.54.5"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031737503","type":"print"},{"value":"9783031737510","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-73751-0_6","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"42-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Nudging Strategies for User Journeys: Take a Path on the Wild Side"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0635-1915","authenticated-orcid":false,"given":"Paul","family":"Kobialka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9446-9541","authenticated-orcid":false,"given":"Andrea","family":"Pferscher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"Silvia Lizeth","family":"Tapia Tarifa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P.: Process Mining-Data Science in Action. Springer, 2 edn. (2016), https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"102180","DOI":"10.1016\/j.is.2023.102180","volume":"114","author":"S Agostinelli","year":"2023","unstructured":"Agostinelli, S., Chiariello, F., Maggi, F.M., Marrella, A., Patrizi, F.: Process mining meets model learning: discovering deterministic finite state automata from event logs for business process analysis. Inf. Syst. 114, 102180 (2023). https:\/\/doi.org\/10.1016\/j.is.2023.102180","journal-title":"Inf. Syst."},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1007\/s11219-018-9432-8","volume":"27","author":"BK Aichernig","year":"2019","unstructured":"Aichernig, B.K., et al.: Learning and statistical model checking of system response times. Softw. Qual. J. 27(2), 757\u2013795 (2019). https:\/\/doi.org\/10.1007\/s11219-018-9432-8","journal-title":"Softw. Qual. J."},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., Pferscher, A., Tappler, M.: From passive to active: learning timed automata efficiently. In: Lee, R., Jha, S., Mavridou, A. (eds.) Proc. 12th International NASA Formal Methods Symposium (NFM 2020). Lecture Notes in Computer Science, vol. 12229, pp. 1\u201319. Springer (2020), https:\/\/doi.org\/10.1007\/978-3-030-55754-6_1","DOI":"10.1007\/978-3-030-55754-6_1"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Aichernig, B.K., Schumi, R.: How fast is MQTT? - Statistical model checking and testing of IoT protocols. In: McIver, A., Horv\u00e1th, A. (eds.) Proc. 15th International Conference on Quantitative Evaluation of Systems (QEST 2018). Lecture Notes in Computer Science, vol. 11024, pp. 36\u201352. Springer (2018), https:\/\/doi.org\/10.1007\/978-3-319-99154-2_3","DOI":"10.1007\/978-3-319-99154-2_3"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Anderson, A., Maystre, L., Anderson, I., Mehrotra, R., Lalmas, M.: Algorithmic effects on the diversity of consumption on Spotify. In: Huang, Y., King, I., Liu, T., van Steen, M. (eds.) Proc. The Web Conference 2020 (WWW\u201920). pp. 2155\u20132165. ACM \/ IW3C2 (2020), https:\/\/doi.org\/10.1145\/3366423.3380281","DOI":"10.1145\/3366423.3380281"},{"key":"6_CR7","unstructured":"Angluin, D.: Identifying languages from stochastic examples. Tech. rep., Yale University (1988), https:\/\/cpsc.yale.edu\/sites\/default\/files\/files\/tr614.pdf"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Behrmann, G., et al.: UPPAAL-Tiga: time for playing games! In: Damm, W., Hermanns, H. (eds.) Proc. 19th International Conference on Computer Aided Verification (CAV 2007). Lecture Notes in Computer Science, vol.\u00a04590, pp. 121\u2013125. Springer (2007), https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"6_CR9","doi-asserted-by":"publisher","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Priced timed automata: algorithms and applications. In: de\u00a0Boer, F.S., Bonsangue, M.M., Graf, S., de\u00a0Roever, W.P. (eds.) Proc. Third International Symposium, on Formal Methods for Components and Objects (FMCO 2004). Lecture Notes in Computer Science, vol.\u00a03657, pp. 162\u2013182. Springer (2005), https:\/\/doi.org\/10.1007\/11561163_8","DOI":"10.1007\/11561163_8"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/S11334-012-0184-5","volume":"9","author":"J Bj\u00f8rk","year":"2013","unstructured":"Bj\u00f8rk, J., de Boer, F.S., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9(1), 29\u201343 (2013). https:\/\/doi.org\/10.1007\/S11334-012-0184-5","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"9","key":"6_CR11","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1995376.1995396","volume":"54","author":"P Bouyer","year":"2011","unstructured":"Bouyer, P., Fahrenberg, U., Larsen, K.G., Markey, N.: Quantitative analysis of real-time systems using priced timed automata. Commun. ACM 54(9), 78\u201387 (2011). https:\/\/doi.org\/10.1145\/1995376.1995396","journal-title":"Commun. ACM"},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Brost, B., Mehrotra, R., Jehan, T.: The music streaming sessions dataset. In: Liu, L., White, R.W., Mantrach, A., Silvestri, F., McAuley, J.J., Baeza-Yates, R., Zia, L. (eds.) Proc. World Wide Web Conference (WWW 2019). pp. 2594\u20132600. ACM (2019), https:\/\/doi.org\/10.1145\/3308558.3313641","DOI":"10.1145\/3308558.3313641"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Carrasco, R.C., Oncina, J.: Learning stochastic regular grammars by means of a state merging method. In: Carrasco, R.C., Oncina, J. (eds.) Proc. 2nd International Colloquium Grammatical Inference and Applications (ICGI-94). Lecture Notes in Computer Science, vol.\u00a0862, pp. 139\u2013152. Springer (1994), https:\/\/doi.org\/10.1007\/3-540-58473-0_144","DOI":"10.1007\/3-540-58473-0_144"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Abadi, M., de\u00a0Alfaro, L. (eds.) Proc. 16th International Conference on Concurrency Theory (CONCUR 2005), Lecture Notes in Computer Science, vol.\u00a03653, pp. 66\u201380. Springer (2005), https:\/\/doi.org\/10.1007\/11539452_9","DOI":"10.1007\/11539452_9"},{"key":"6_CR15","unstructured":"Chang, S., Lee, S., Lee, K.: Sequential skip prediction with few-shot in streamed music contents. CoRR abs\/1901.08203 (2019), http:\/\/arxiv.org\/abs\/1901.08203"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M.Z., Parker, D., Simaitis, A.: PRISM-games: A model checker for stochastic multi-player games. In: Piterman, N., Smolka, S.A. (eds.) Proc. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013). Lecture Notes in Computer Science, vol.\u00a07795, pp. 185\u2013191. Springer (2013), https:\/\/doi.org\/10.1007\/978-3-642-36742-7_13","DOI":"10.1007\/978-3-642-36742-7_13"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"JE Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol. 7(3), 215\u2013249 (1998). https:\/\/doi.org\/10.1145\/287000.287001","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Legay, A., Lime, D., S\u00f8rensen, M.G., Taankvist, J.H.: On time with minimal expected cost! In: Cassez, F., Raskin, J. (eds.) Proc. 12th International Symposium pn Automated Technology for Verification and Analysis (ATVA 2014), Lecture Notes in Computer Science, vol.\u00a08837, pp. 129\u2013145. Springer (2014), https:\/\/doi.org\/10.1007\/978-3-319-11936-6_10","DOI":"10.1007\/978-3-319-11936-6_10"},{"key":"6_CR19","doi-asserted-by":"publisher","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Mikucionis, M., Taankvist, J.H.: UPPAAL Stratego. In: Baier, C., Tinelli, C. (eds.) Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). Lecture Notes in Computer Science, vol.\u00a09035, pp. 206\u2013211. Springer (2015), https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16","DOI":"10.1007\/978-3-662-46681-0_16"},{"issue":"3\u20134","key":"6_CR20","doi-asserted-by":"publisher","first-page":"205","DOI":"10.3233\/FI-2011-607","volume":"113","author":"J Esparza","year":"2011","unstructured":"Esparza, J., Leucker, M., Schlund, M.: Learning workflow Petri nets. Fundam. Informaticae 113(3\u20134), 205\u2013228 (2011). https:\/\/doi.org\/10.3233\/FI-2011-607","journal-title":"Fundam. Informaticae"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1509\/jmkg.70.1.003.qxd","volume":"70","author":"C Fornell","year":"2006","unstructured":"Fornell, C., Mithas, S., Morgeson, F.V., Krishnan, M.: Customer satisfaction and stock prices: high returns, low risk. J. Market. 70(1), 3\u201314 (2006). https:\/\/doi.org\/10.1509\/jmkg.70.1.003.qxd","journal-title":"J. Market."},{"issue":"5","key":"6_CR22","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Inf. Control 10(5), 447\u2013474 (1967). https:\/\/doi.org\/10.1016\/S0019-9958(67)91165-5","journal-title":"Inf. Control"},{"issue":"6","key":"6_CR23","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1108\/JSTP-05-2015-0111","volume":"26","author":"R Halvorsrud","year":"2016","unstructured":"Halvorsrud, R., Kvale, K., F\u00f8lstad, A.: Improving service quality through customer journey analysis. J. Serv. Theory Pract. 26(6), 840\u2013867 (2016). https:\/\/doi.org\/10.1108\/JSTP-05-2015-0111","journal-title":"J. Serv. Theory Pract."},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Halvorsrud, R., Mannhardt, F., Johnsen, E.B., Tapia Tarifa, S.L.: Smart journey mining for improved service quality. In: Carminati, B., Chang, C.K., Daminai, E., Deng, S., Tan, W., Wang, Z., Ward, R., Zhang, J. (eds.) Proc. International Conference on Services Computing (SCC 2021). pp. 367\u2013369. IEEE (2021), https:\/\/doi.org\/10.1109\/SCC53864.2021.00051","DOI":"10.1109\/SCC53864.2021.00051"},{"key":"6_CR25","unstructured":"Hansen, C., Hansen, C., Alstrup, S., Simonsen, J.G., Lioma, C.: Modelling sequential music track skips using a Multi-RNN approach. CoRR abs\/1903.08408 (2019), http:\/\/arxiv.org\/abs\/1903.08408"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association 58(301), 13\u201330 (1963), https:\/\/doi.org\/10.2307\/2282952","DOI":"10.2307\/2282952"},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: A core language for abstract behavioral specification. In: Aichernig, B.K., de\u00a0Boer, F.S., Bonsangue, M.M. (eds.) Proc. 9th International Symposium on Formal Methods for Components and Objects FMCO 2010. Lecture Notes in Computer Science, vol.\u00a06957, pp. 142\u2013164. Springer (2010), https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8","DOI":"10.1007\/978-3-642-25271-6_8"},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/J.JLAMP.2014.07.001","volume":"84","author":"EB Johnsen","year":"2015","unstructured":"Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algeb. Methods Progr. 84(1), 67\u201391 (2015). https:\/\/doi.org\/10.1016\/J.JLAMP.2014.07.001","journal-title":"J. Log. Algeb. Methods Progr."},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"Kobialka, P., Mannhardt, F., Tapia Tarifa, S.L., Johnsen, E.B.: Building user journey games from multi-party event logs. In: Proc. 3rd Intl. Workshop on Event Data and Behavioral Analytics (EdbA 2022). LNBIP, vol.\u00a0468. Springer (2022), https:\/\/doi.org\/10.1007\/978-3-031-27815-0_6","DOI":"10.1007\/978-3-031-27815-0_6"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Kobialka, P., Pferscher, A., Bergersen, G.R., Johnsen, E.B., Tapia Tarifa, S.L.: Stochastic games for user journeys. In: Platzer, A., Pradella, M., Rossi, M., Rozier, K.Y. (eds.) Proc. 26th International Symposium on Formal Methods (FM 2024). Lecture Notes in Computer Science, Springer (2024), to appear","DOI":"10.1007\/978-3-031-71177-0_12"},{"key":"6_CR31","doi-asserted-by":"publisher","unstructured":"Kobialka, P., Schlatte, R., Bergersen, G.R., Johnsen, E.B., Tapia Tarifa, S.L.: Simulating user journeys with active objects. In: de\u00a0Boer, F.S., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Kamburjan, E. (eds.) Active Object Languages: Current Research Trends, Lecture Notes in Computer Science, vol. 14360, pp. 199\u2013225. Springer (2024), https:\/\/doi.org\/10.1007\/978-3-031-51060-1_8","DOI":"10.1007\/978-3-031-51060-1_8"},{"key":"6_CR32","doi-asserted-by":"publisher","unstructured":"Kobialka, P., Tapia Tarifa, S.L., Bergersen, G.R., Johnsen, E.B.: Weighted games for user journeys. In: Proc. 20th International Conference Software Engineering and Formal Methods (SEFM 2022). Lecture Notes in Computer Science, vol. 13550, pp. 253\u2013270. Springer (2022), https:\/\/doi.org\/10.1007\/978-3-031-17108-6_16","DOI":"10.1007\/978-3-031-17108-6_16"},{"issue":"3","key":"6_CR33","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/s10270-024-01148-2","volume":"23","author":"P Kobialka","year":"2024","unstructured":"Kobialka, P., Tapia Tarifa, S.L., Bergersen, G.R., Johnsen, E.B.: User journey games: automating user-centric analysis. Softw. Syst. Model. 23(3), 605\u2013624 (2024). https:\/\/doi.org\/10.1007\/s10270-024-01148-2","journal-title":"Softw. Syst. Model."},{"key":"6_CR34","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J.: As cheap as possible: Efficient cost-optimal reachability for priced timed automata. In: Berry, G., Comon, H., Finkel, A. (eds.) Proc. 13th International Conference on Computer Aided Verification (CAV 2001). Lecture Notes in Computer Science, vol.\u00a02102, pp. 493\u2013505. Springer (2001), https:\/\/doi.org\/10.1007\/3-540-44585-4_47","DOI":"10.1007\/3-540-44585-4_47"},{"issue":"1\u20132","key":"6_CR35","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. Transf. 1(1\u20132), 134\u2013152 (1997). https:\/\/doi.org\/10.1007\/S100090050010","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"6_CR36","doi-asserted-by":"publisher","unstructured":"Meggetto, F., Revie, C., Levine, J., Moshfeghi, Y.: On skipping behaviour types in music streaming sessions. In: Demartini, G., Zuccon, G., Culpepper, J.S., Huang, Z., Tong, H. (eds.) Proc. 30th ACM International Conference on Information and Knowledge Management (CIKM\u201921). pp. 3333\u20133337. ACM (2021), https:\/\/doi.org\/10.1145\/3459637.3482123","DOI":"10.1145\/3459637.3482123"},{"key":"6_CR37","doi-asserted-by":"publisher","unstructured":"Meggetto, F., Revie, C., Levine, J., Moshfeghi, Y.: Why people skip music? On predicting music skips using deep reinforcement learning. In: Gwizdka, J., Rieh, S.Y. (eds.) Proc. Conference on Human Information Interaction and Retrieval (CHIIR 2023). pp. 95\u2013106. ACM (2023), https:\/\/doi.org\/10.1145\/3576840.3578312","DOI":"10.1145\/3576840.3578312"},{"issue":"3","key":"6_CR38","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/S11334-022-00449-3","volume":"18","author":"E Mu\u0161kardin","year":"2022","unstructured":"Mu\u0161kardin, E., Aichernig, B.K., Pill, I., Pferscher, A., Tappler, M.: AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18(3), 417\u2013426 (2022). https:\/\/doi.org\/10.1007\/S11334-022-00449-3","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"2","key":"6_CR39","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/S10703-012-0177-X","volume":"43","author":"G Norman","year":"2013","unstructured":"Norman, G., Parker, D., Sproston, J.: Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2), 164\u2013190 (2013). https:\/\/doi.org\/10.1007\/S10703-012-0177-X","journal-title":"Formal Methods Syst. Des."},{"key":"6_CR40","unstructured":"Norris, J.R.: Markov chains. Cambridge series in statistical and probabilistic mathematics, Cambridge University Press (1998)"},{"key":"6_CR41","doi-asserted-by":"publisher","unstructured":"Ricci, F., Rokach, L., Shapira, B. (eds.): Recommender Systems Handbook. Springer (2015), https:\/\/doi.org\/10.1007\/978-1-4899-7637-6","DOI":"10.1007\/978-1-4899-7637-6"},{"issue":"1","key":"6_CR42","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.bushor.2016.09.010","volume":"60","author":"MS Rosenbaum","year":"2017","unstructured":"Rosenbaum, M.S., Otalora, M.L., Ram\u00edrez, G.C.: How to create a realistic customer journey map. Busi. Horiz. 60(1), 143\u2013150 (2017). https:\/\/doi.org\/10.1016\/j.bushor.2016.09.010","journal-title":"Busi. Horiz."},{"key":"6_CR43","doi-asserted-by":"publisher","unstructured":"Schedl, M., Knees, P., McFee, B., Bogdanov, D.: Music recommendation systems: Techniques, use cases, and challenges. In: Ricci, F., Rokach, L., Shapira, B. (eds.) Recommender Systems Handbook, pp. 927\u2013971. Springer (2022), https:\/\/doi.org\/10.1007\/978-1-0716-2197-4_24","DOI":"10.1007\/978-1-0716-2197-4_24"},{"key":"6_CR44","doi-asserted-by":"publisher","unstructured":"Tappler, M., Aichernig, B.K., Larsen, K.G., Lorber, F.: Time to learn - learning timed automata from tests. In: Andr\u00e9, \u00c9., Stoelinga, M. (eds.) Proc. 17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019). Lecture Notes in Computer Science, vol. 11750, pp. 216\u2013235. Springer (2019), https:\/\/doi.org\/10.1007\/978-3-030-29662-9_13","DOI":"10.1007\/978-3-030-29662-9_13"},{"key":"6_CR45","unstructured":"Thaler, R.H., Sunstein, C.R.: Nudge: Improving decisions about health, wealth, and happiness. Penguin (2009)"},{"issue":"4","key":"6_CR46","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/0263-2373(88)90033-3","volume":"6","author":"S Vandermerwe","year":"1988","unstructured":"Vandermerwe, S., Rada, J.: Servitization of business: Adding value by adding services. Europ. Manag. J. 6(4), 314\u2013324 (1988). https:\/\/doi.org\/10.1016\/0263-2373(88)90033-3","journal-title":"Europ. Manag. J."},{"key":"6_CR47","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00992698","volume":"8","author":"CJCH Watkins","year":"1992","unstructured":"Watkins, C.J.C.H., Dayan, P.: Technical note Q-learning. Mach. Learn. 8, 279\u2013292 (1992). https:\/\/doi.org\/10.1007\/BF00992698","journal-title":"Mach. Learn."},{"key":"6_CR48","doi-asserted-by":"publisher","unstructured":"Zhang, B., Kreitz, G., Isaksson, M., Ubillos, J., Urdaneta, G., Pouwelse, J.A., Epema, D.H.J.: Understanding user behavior in Spotify. In: Proc. INFOCOM 2013. pp. 220\u2013224. IEEE (2013), https:\/\/doi.org\/10.1109\/INFCOM.2013.6566767","DOI":"10.1109\/INFCOM.2013.6566767"},{"key":"6_CR49","unstructured":"Zhu, L., Chen, Y.: Session-based sequential skip prediction via recurrent neural networks. CoRR abs\/1902.04743 (2019), http:\/\/arxiv.org\/abs\/1902.04743"}],"container-title":["Lecture Notes in Computer Science","Real Time and Such"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73751-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:03:04Z","timestamp":1729638184000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73751-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031737503","9783031737510"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73751-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}