{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T23:48:36Z","timestamp":1777765716046,"version":"3.51.4"},"publisher-location":"Cham","reference-count":56,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031974380","type":"print"},{"value":"9783031974397","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"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":[[2026]]},"DOI":"10.1007\/978-3-031-97439-7_19","type":"book-chapter","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T11:04:05Z","timestamp":1756551845000},"page":"382-407","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0418-9854","authenticated-orcid":false,"given":"Lisa","family":"Willemsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5912-4767","authenticated-orcid":false,"given":"Anne","family":"Remke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0654-0740","authenticated-orcid":false,"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6986-5633","authenticated-orcid":false,"given":"Johann L.","family":"Hurink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,30]]},"reference":[{"issue":"11","key":"19_CR1","doi-asserted-by":"publisher","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","volume":"44","author":"A Abate","year":"2008","unstructured":"Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11), 2724\u20132734 (2008). https:\/\/doi.org\/10.1016\/j.automatica.2008.03.027","journal-title":"Automatica"},{"key":"19_CR2","doi-asserted-by":"publisher","unstructured":"Adelt, J., Bruch, S., Herber, P., Niehage, M., Remke, A.: Shielded learning for resilience and performance based on statistical model checking in Simulink. In: Proceedings of the first Int. Conf. on Bridging the Gap Between AI and Reality, pp. 94\u2013118. Springer Nature Switzerland (2024). https:\/\/doi.org\/10.1007\/978-3-031-46002-9_6","DOI":"10.1007\/978-3-031-46002-9_6"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Adelt, J., Herber, P., Niehage, M., Remke, A.: Towards safe and resilient hybrid systems in the presence of learning and uncertainty. In: Proceedings of the 11th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, pp. 299\u2013319. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_18","DOI":"10.1007\/978-3-031-19849-6_18"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995). https:\/\/doi.org\/10.1016\/0304-3975(94)00202-T","journal-title":"Theor. Comput. Sci."},{"key":"19_CR5","doi-asserted-by":"publisher","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: time for playing games! In: Proceedings of the 19th Int. Conf. on Computer Aided Verification, 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":"19_CR6","doi-asserted-by":"publisher","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL \u2014 a tool suite for automatic verification of real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 232\u2013243. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0020949","DOI":"10.1007\/BFb0020949"},{"key":"19_CR7","doi-asserted-by":"publisher","unstructured":"Bertrand, N., Bouyer, P., Brihaye, T., Menet, Q., Baier, C., Gr\u00f6\u00dfer, M., Jurdzinski, M.: Stochastic timed automata. Logical Methods in Computer Science 10(4) (2014). https:\/\/doi.org\/10.2168\/LMCS-10(4:6)2014","DOI":"10.2168\/LMCS-10(4:6)2014"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s00165-018-0458-2","volume":"31","author":"M Bisgaard","year":"2018","unstructured":"Bisgaard, M., Gerhardt, D., Hermanns, H., Kr\u010d\u00e1l, J., Nies, G., Stenger, M.: Battery-aware scheduling in low orbit: the GomX\u20133 case. Formal Aspects Comput. 31(2), 261\u2013285 (2018). https:\/\/doi.org\/10.1007\/s00165-018-0458-2","journal-title":"Formal Aspects Comput."},{"key":"19_CR9","doi-asserted-by":"publisher","unstructured":"Blohm, P., Herber, P., Remke, A.: Towards quantitative analysis of simulink models using stochastic hybrid automata. In: Proceedigs of the 19th Int. Conf. on Integrated Formal Methods, pp. 172\u2013193. Springer Nature Switzerland (2025). https:\/\/doi.org\/10.1007\/978-3-031-76554-4_10","DOI":"10.1007\/978-3-031-76554-4_10"},{"key":"19_CR10","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transf. 22(6), 759\u2013780 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00563-2","DOI":"10.1007\/s10009-020-00563-2"},{"key":"19_CR11","doi-asserted-by":"publisher","unstructured":"Cauchi, N., Abate, A.: Stochy - automated verification and synthesis of stochastic processes: poster abstract. In: Proceedings of the 22nd ACM Int. Conf. on Hybrid Systems: Computation and Control, pp. 258\u2013259. Association for Computing Machinery (2019). https:\/\/doi.org\/10.1145\/3302504.3313349","DOI":"10.1145\/3302504.3313349"},{"key":"19_CR12","doi-asserted-by":"publisher","unstructured":"Cloth, L., Jongerden, M.R., Haverkort, B.R.: Computing battery lifetime distributions. In: Proceedings of the 37th Annual IEEE\/IFIP Int. Conf. on Dependable Systems and Networks, pp. 780\u2013789 (2007).https:\/\/doi.org\/10.1109\/DSN.2007.26","DOI":"10.1109\/DSN.2007.26"},{"key":"19_CR13","doi-asserted-by":"publisher","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: UPPAAL Stratego. In: Proceedings of the 21st Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 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"},{"key":"19_CR14","doi-asserted-by":"publisher","unstructured":"Delicaris, J., Schupp, S., \u00c1brah\u00e1m, E., Remke, A.: Maximizing reachability probabilities in rectangular automata with random clocks. In: Proceedings of the 17th Int. Symposium on Theoretical Aspects of Software Engineering, pp. 164\u2013182. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-35257-7_10","DOI":"10.1007\/978-3-031-35257-7_10"},{"key":"19_CR15","doi-asserted-by":"publisher","unstructured":"Delicaris, J., St\u00fcbbe, J., Schupp, S., Remke, A.: RealySt: A C++ tool for optimizing reachability probabilities in stochastic hybrid systems. In: Proceedings of the 16th EAI Int. Conf. on Performance Evaluation Methodologies and Tools, pp. 170\u2013182. Springer Nature Switzerland (2024). https:\/\/doi.org\/10.1007\/978-3-031-48885-6_11","DOI":"10.1007\/978-3-031-48885-6_11"},{"key":"19_CR16","doi-asserted-by":"publisher","unstructured":"Dormand, J.R.: Numerical Methods for Differential Equations: A Computational Approach. CRC Press, 1st edn. (1996). https:\/\/doi.org\/10.1201\/9781351075107","DOI":"10.1201\/9781351075107"},{"issue":"4","key":"19_CR17","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10009-015-0383-0","volume":"17","author":"P D\u2019Argenio","year":"2015","unstructured":"D\u2019Argenio, P., Legay, A., Sedwards, S., Traonouez, L.-M.: Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transfer 17(4), 469\u2013484 (2015). https:\/\/doi.org\/10.1007\/s10009-015-0383-0","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"19_CR18","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: Lightweight statistical model checking in nondeterministic continuous time. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 336\u2013353. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03421-4_22","DOI":"10.1007\/978-3-030-03421-4_22"},{"key":"19_CR19","doi-asserted-by":"publisher","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. In: Proceedings of the 8th Int. Workshop on Hybrid Systems: Computation and Control, pp. 258\u2013273. Springer (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_17","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"19_CR20","unstructured":"Galassi, M., Davies, J., Theiler, J., Gough, B., Jungman, G.: GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12. Network Theory Ltd (2009)"},{"key":"19_CR21","doi-asserted-by":"publisher","unstructured":"Hahn, E., Hartmanns, A., Hermanns, H., Katoen, J.P.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43 (2013). https:\/\/doi.org\/10.1007\/s10703-012-0167-z","DOI":"10.1007\/s10703-012-0167-z"},{"key":"19_CR22","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: Proceedings of the 20th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp. 593\u2013598. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"19_CR23","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278\u2013292. IEEE Computer Society (1996). https:\/\/doi.org\/10.1109\/LICS.1996.561342","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1","key":"19_CR24","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? J. Comput. Syst. Sci. 57(1), 94\u2013124 (1998). https:\/\/doi.org\/10.1006\/jcss.1998.1581","journal-title":"J. Comput. Syst. Sci."},{"key":"19_CR25","doi-asserted-by":"publisher","unstructured":"Hermanns, H., Kr\u010d\u00e1l, J., Nies, G.: How is your satellite doing? Battery kinetics with recharging and uncertainty. Leibniz Trans. Embed. Syst. 4(1), 1\u201328 (2017).https:\/\/doi.org\/10.4230\/LITES-v004-i001-a004","DOI":"10.4230\/LITES-v004-i001-a004"},{"key":"19_CR26","doi-asserted-by":"publisher","unstructured":"Hoogsteen, G., Molderink, A., Smit, G., Hurink, J., Kootstra, B., Schuring, F.: Charging electric vehicles, baking pizzas, and melting a fuse in Lochem. Int. Conf. Exhib. Electr. Distrib. 2017(1), 1629\u20131633 (2017). https:\/\/doi.org\/10.1049\/oap-cired.2017.0340","DOI":"10.1049\/oap-cired.2017.0340"},{"key":"19_CR27","doi-asserted-by":"publisher","unstructured":"Jongerden, M., Haverkort, B., Bohnenkamp, H., Katoen, J.P.: Maximizing system lifetime by battery scheduling. In: Proceedings of the 2009 IEEE\/IFIP Int. Conf. on Dependable Systems & Networks, pp. 63\u201372 (2009).https:\/\/doi.org\/10.1109\/DSN.2009.5270351","DOI":"10.1109\/DSN.2009.5270351"},{"issue":"3","key":"19_CR28","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TII.2010.2051813","volume":"6","author":"M Jongerden","year":"2010","unstructured":"Jongerden, M., Mereacre, A., Bohnenkamp, H., Haverkort, B., Katoen, J.P.: Computing optimal schedules of battery usage in embedded systems. IEEE Trans. Industr. Inf. 6(3), 276\u2013286 (2010). https:\/\/doi.org\/10.1109\/TII.2010.2051813","journal-title":"IEEE Trans. Industr. Inf."},{"key":"19_CR29","doi-asserted-by":"publisher","unstructured":"Jongerden, M.: Model-based energy analysis of battery powered systems. Phd thesis - research UT, graduation UT, University of Twente (2010).https:\/\/doi.org\/10.3990\/1.9789036531146","DOI":"10.3990\/1.9789036531146"},{"issue":"6","key":"19_CR30","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1049\/iet-sen.2009.0001","volume":"3","author":"M Jongerden","year":"2009","unstructured":"Jongerden, M., Haverkort, B.: Which battery model to use? IET Softw. 3(6), 445\u2013457 (2009). https:\/\/doi.org\/10.1049\/iet-sen.2009.0001","journal-title":"IET Softw."},{"key":"19_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5361-0_1","volume-title":"Probability Theory: A Comprehensive Course","author":"A Klenke","year":"2014","unstructured":"Klenke, A.: Probability Theory: A Comprehensive Course. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-1-4471-5361-0_1"},{"key":"19_CR32","doi-asserted-by":"publisher","unstructured":"Lahiri, K., Raghunathan, A., Dey, S., Panigrahi, D.: Battery-driven system design: a new frontier in low power design. In: Proceedings the 7th Asia and South Pacific Design Automation Conf. and 15h Int. Conf. on VLSI Design, pp. 261\u2013267 (2002). https:\/\/doi.org\/10.1109\/ASPDAC.2002.994932","DOI":"10.1109\/ASPDAC.2002.994932"},{"key":"19_CR33","doi-asserted-by":"publisher","unstructured":"Legay, A., Sedwards, S., Traonouez, L.-M.: Scalable verification of Markov decision processes. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 350\u2013362. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15201-1_23","DOI":"10.1007\/978-3-319-15201-1_23"},{"key":"19_CR34","doi-asserted-by":"publisher","unstructured":"Lygeros, J., Prandini, M.: Stochastic hybrid systems: a powerful framework for complex, large scale applications. Eur. J. Control 16(6), 583\u2013594 (2010). https:\/\/doi.org\/10.3166\/ejc.16.583-594","DOI":"10.3166\/ejc.16.583-594"},{"issue":"5","key":"19_CR35","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0038-092X(93)90060-2","volume":"50","author":"JF Manwell","year":"1993","unstructured":"Manwell, J.F., McGowan, J.G.: Lead acid battery storage model for hybrid energy systems. Sol. Energy 50(5), 399\u2013405 (1993). https:\/\/doi.org\/10.1016\/0038-092X(93)90060-2","journal-title":"Sol. Energy"},{"key":"19_CR36","unstructured":"MathWorks: MATLAB Simulink. www.mathworks.com\/products\/simulink.html"},{"key":"19_CR37","doi-asserted-by":"publisher","unstructured":"Milani, S., Topin, N., Veloso, M., Fang, F.: Explainable reinforcement learning: a survey and comparative review. ACM Comput. Surv. 56(7) (2024). https:\/\/doi.org\/10.1145\/3616864","DOI":"10.1145\/3616864"},{"issue":"7540","key":"19_CR38","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1038\/nature14236","volume":"518","author":"V Mnih","year":"2015","unstructured":"Mnih, V., et al.: Human-level control through deep reinforcement learning. Nature 518(7540), 529\u2013533 (2015). https:\/\/doi.org\/10.1038\/nature14236","journal-title":"Nature"},{"key":"19_CR39","doi-asserted-by":"publisher","unstructured":"Niehage, M., Hartmanns, A., Remke, A.: Learning optimal decisions for stochastic hybrid systems. In: Proceedings of the 19th ACM-IEEE Int. Conf. on Formal Methods and Models for System Design, p. 44\u201355. Association for Computing Machinery (2021). https:\/\/doi.org\/10.1145\/3487212.3487339","DOI":"10.1145\/3487212.3487339"},{"key":"19_CR40","doi-asserted-by":"publisher","unstructured":"Niehage, M., Remke, A.: Learning that grid-convenience does not hurt resilience in the presence of uncertainty. In: Proceedings of the 20th Int. Conf. on Formal Modeling and Analysis of Timed Systems, pp. 298\u2013306. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-15839-1_17","DOI":"10.1007\/978-3-031-15839-1_17"},{"key":"19_CR41","doi-asserted-by":"publisher","unstructured":"Nies, G., et al..: Mastering operational limitations of LEO satellites \u2013 the GOMX-3 approach. Acta Astronautica 151, 726\u2013735 (2018). https:\/\/doi.org\/10.1016\/j.actaastro.2018.04.040","DOI":"10.1016\/j.actaastro.2018.04.040"},{"key":"19_CR42","doi-asserted-by":"publisher","unstructured":"Rakhmatov, D., Vrudhula, S.: An analytical high-level battery model for use in energy management of portable electronic systems. In: Proceedings of the 2001 Int. Conf. on Computer Aided Design, pp. 488\u2013493 (2001).https:\/\/doi.org\/10.1109\/ICCAD.2001.968687","DOI":"10.1109\/ICCAD.2001.968687"},{"key":"19_CR43","doi-asserted-by":"publisher","unstructured":"Schneider, S., Wagner, D.H.: Error detection in redundant systems. In: Proceedings of the Western Joint Computer Conf, pp. 115\u2013121. Association for Computing Machinery (1957). https:\/\/doi.org\/10.1145\/1455567.1455587","DOI":"10.1145\/1455567.1455587"},{"key":"19_CR44","doi-asserted-by":"publisher","unstructured":"Schupp, S., \u00c1brah\u00e1m, E., Makhlouf, I.B., Kowalewski, S.: HyPro: a C++ library of state set representations for hybrid systems reachability analysis. In: Proceedings of the 9th Int. Symposium on NASA Formal Methods, pp. 288\u2013294. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_20","DOI":"10.1007\/978-3-319-57288-8_20"},{"key":"19_CR45","doi-asserted-by":"publisher","unstructured":"Shmarov, F., Zuliani, P.: ProbReach: verified probabilistic $$\\delta $$-reachability for stochastic hybrid systems. In: Proceedings of the 18th Int. Conf. on Hybrid Systems: Computation and Control, pp. 134\u2013139. Association for Computing Machinery (2015). https:\/\/doi.org\/10.1145\/2728606.2728625","DOI":"10.1145\/2728606.2728625"},{"key":"19_CR46","doi-asserted-by":"publisher","unstructured":"da\u00a0Silva, C., Schupp, S., Remke, A.: Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via Flowpipe-construction. ACM Trans. Model. Comput. Simul. 33(4) (2023). https:\/\/doi.org\/10.1145\/3607197","DOI":"10.1145\/3607197"},{"key":"19_CR47","doi-asserted-by":"publisher","unstructured":"Soudjani, S.E.Z., Gevaerts, C., Abate, A.: FAUST$$ ^{\\text{2}}$$: formal abstractions of uncountable-state stochastic processes. In: Proceedings of the 21st Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp. 272\u2013286. Springer (2015).https:\/\/doi.org\/10.1007\/978-3-662-46681-0_23","DOI":"10.1007\/978-3-662-46681-0_23"},{"issue":"11","key":"19_CR48","doi-asserted-by":"publisher","first-page":"3762","DOI":"10.1109\/TCAD.2020.3012751","volume":"39","author":"G Stock","year":"2020","unstructured":"Stock, G., Fraire, J.A., M\u00f6mke, T., Hermanns, H., Babayev, F., Cruz, E.: Managing fleets of LEO satellites: nonlinear, optimal, efficient, scalable, usable, and robust. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11), 3762\u20133773 (2020). https:\/\/doi.org\/10.1109\/TCAD.2020.3012751","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"19_CR49","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction, 2nd edn. The MIT Press (2018)"},{"key":"19_CR50","unstructured":"The\u00a0MathWorks: Reinforcement Learning Toolbox. https:\/\/www.mathworks.com\/products\/reinforcement-learning.html"},{"issue":"3","key":"19_CR51","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00992698","volume":"8","author":"C Watkins","year":"1992","unstructured":"Watkins, C., Dayan, P.: Q-learning. Mach. Learn. 8(3), 279\u2013292 (1992). https:\/\/doi.org\/10.1007\/BF00992698","journal-title":"Mach. Learn."},{"key":"19_CR52","doi-asserted-by":"publisher","unstructured":"Willems, J.C.: From time series to linear system \u2013 part i. finite dimensional linear time invariant systems. Automatica 22(5), 561\u2013580 (1986). https:\/\/doi.org\/10.1016\/0005-1098(86)90066-X","DOI":"10.1016\/0005-1098(86)90066-X"},{"key":"19_CR53","doi-asserted-by":"publisher","unstructured":"Willemsen, L., Remke, A., \u00c1brah\u00e1m, E.: Comparing two approaches to include stochasticity in hybrid automata. In: Proceedings of the 20th Int. Conf. on Quantitative Evaluation of Systems, pp. 238\u2013254. Springer Nature (2023). https:\/\/doi.org\/10.1007\/978-3-031-43835-6_17","DOI":"10.1007\/978-3-031-43835-6_17"},{"key":"19_CR54","doi-asserted-by":"publisher","unstructured":"Willemsen, L., Remke, A., \u00c1brah\u00e1m, E.: (de-)composed and more: Eager and lazy specifications (camels) for stochastic hybrid systems. In: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Springer Nature (2025). https:\/\/doi.org\/10.1007\/978-3-031-75778-5_15","DOI":"10.1007\/978-3-031-75778-5_15"},{"key":"19_CR55","doi-asserted-by":"publisher","unstructured":"Wilson, E.B.: Probable inference, the law of succession, and statistical inference. J. Am. Stat. Assoc. 22(158), 209\u2013212 (1927). https:\/\/doi.org\/10.1080\/01621459.1927.10502953","DOI":"10.1080\/01621459.1927.10502953"},{"key":"19_CR56","doi-asserted-by":"publisher","unstructured":"Wognsen, E.R., Haverkort, B.R., Jongerden, M., Hansen, R.R., Larsen, K.G.: A score function for optimizing the cycle-life of battery-powered embedded systems. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 305\u2013320. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22975-1_20","DOI":"10.1007\/978-3-319-22975-1_20"}],"container-title":["Lecture Notes in Computer Science","Principles of Formal Quantitative Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97439-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T15:28:38Z","timestamp":1777476518000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97439-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,30]]},"ISBN":["9783031974380","9783031974397"],"references-count":56,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97439-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,30]]},"assertion":[{"value":"30 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}