{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T16:23:42Z","timestamp":1792254222389,"version":"4.4.0"},"publisher-location":"Cham","reference-count":90,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032352972","type":"print"},{"value":"9783032352989","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,8,30]],"date-time":"2026-08-30T00:00:00Z","timestamp":1788048000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,8,30]],"date-time":"2026-08-30T00:00:00Z","timestamp":1788048000000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-35298-9_10","type":"book-chapter","created":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T13:24:17Z","timestamp":1788009857000},"page":"171-195","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Multi-objective Statistical Model Checking Using Lightweight Strategy Sampling"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8528-9215","authenticated-orcid":false,"given":"Pedro R.","family":"D\u2019Argenio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3268-8674","authenticated-orcid":false,"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8047-4094","authenticated-orcid":false,"given":"Patrick","family":"Wienh\u00f6ft","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-8239-3164","authenticated-orcid":false,"given":"Mark","family":"van Wijk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,8,30]]},"reference":[{"key":"10_CR1","unstructured":"Abdi, H.: The Bonferonni and \u0160id\u00e1k corrections for multiple comparisons. In: Salkind, N.J. (ed.) Encyclopedia of measurement and statistics. Sage Publications (2007). https:\/\/personal.utdallas.edu\/~herve\/Abdi-Bonferroni2007-pretty.pdf"},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). https:\/\/doi.org\/10.1145\/3158668","DOI":"10.1145\/3158668"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"Andriushchenko, R., et al.: Tools at the frontiers of quantitative verification (QComp 2023 competition report). In: Beyer, D., Hartmanns, A., Kordon, F. (eds.) TOOLympics Challenge 2023. Lecture Notes in Computer Science, vol. 14550, pp. 90\u2013146. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-67695-6_4","DOI":"10.1007\/978-3-031-67695-6_4"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-030-61362-4_19","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles","author":"P Ashok","year":"2020","unstructured":"Ashok, P., Daca, P., K\u0159et\u00ednsk\u00fd, J., Weininger, M.: Statistical Model Checking: Black or White? In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12476, pp. 331\u2013349. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61362-4_19"},{"key":"10_CR5","unstructured":"Auer, P., Chiang, C.K., Ortner, R., Drugan, M.M.: Pareto front identification from stochastic bandit feedback. In: Gretton, A., Robert, C.C. (eds.) 19th International Conference on Artificial Intelligence and Statistics (AISTATS 2016). JMLR Workshop and Conference Proceedings, vol.\u00a051, pp. 939\u2013947. JMLR.org (2016). http:\/\/proceedings.mlr.press\/v51\/auer16.html"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"995","DOI":"10.1007\/s11831-024-10178-4","volume":"32","author":"MA Awadallah","year":"2025","unstructured":"Awadallah, M.A., Makhadmeh, S.N., Al-Betar, M.A., Dalbah, L.M., Al-Redhaei, A., Kouka, S., Enshassi, O.S.: Multi-objective ant colony optimization: Review. Arch. Comput. Methods Eng. 32, 995\u20131037 (2025). https:\/\/doi.org\/10.1007\/s11831-024-10178-4","journal-title":"Arch. Comput. Methods Eng."},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"Baier, C.: Probabilistic model checking. In: Esparza, J., Grumberg, O., Sickert, S. (eds.) Dependable Software Systems Engineering, NATO Science for Peace and Security Series \u2013 D: Information and Communication Security, vol.\u00a045, pp. 1\u201323. IOS Press (2016). https:\/\/doi.org\/10.3233\/978-1-61499-627-9-1","DOI":"10.3233\/978-1-61499-627-9-1"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1007\/978-3-319-10575-8_28","volume-title":"Handbook of Model Checking","author":"C Baier","year":"2018","unstructured":"Baier, C., de Alfaro, L., Forejt, V., Kwiatkowska, M.: Model Checking Probabilistic Systems. In: Handbook of Model Checking, pp. 963\u2013999. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_28"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-319-63387-9_8","volume-title":"Computer Aided Verification","author":"C Baier","year":"2017","unstructured":"Baier, C., Klein, J., Leuschner, L., Parker, D., Wunderlich, S.: Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 160\u2013180. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_8"},{"issue":"1\u20132","key":"10_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(94)00011-O","volume":"72","author":"AG Barto","year":"1995","unstructured":"Barto, A.G., Bradtke, S.J., Singh, S.P.: Learning to act using real-time dynamic programming. Artif. Intell. 72(1\u20132), 81\u2013138 (1995). https:\/\/doi.org\/10.1016\/0004-3702(94)00011-O","journal-title":"Artif. Intell."},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: Time for Playing Games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121\u2013125. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14"},{"issue":"5","key":"10_CR12","first-page":"679","volume":"6","author":"R Bellman","year":"1957","unstructured":"Bellman, R.: A Markovian decision process. J. Math. Mech. 6(5), 679\u2013684 (1957)","journal-title":"J. Math. Mech."},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/S00165-018-0458-2","volume":"31","author":"M Bisgaard","year":"2019","unstructured":"Bisgaard, M., Gerhardt, D., Hermanns, H., Krc\u00e1l, J., Nies, G., Stenger, M.: Battery-aware scheduling in low orbit: the GomX-3 case. Formal Aspects Comput. 31(2), 261\u2013285 (2019). https:\/\/doi.org\/10.1007\/S00165-018-0458-2","journal-title":"Formal Aspects Comput."},{"key":"10_CR14","unstructured":"Boyan, J.A., Moore, A.W.: Generalization in reinforcement learning: Safely approximating the value function. In: Tesauro, G., Touretzky, D.S., Leen, T.K. (eds.) Advances in Neural Information Processing Systems 7 (NIPS 1994). pp. 369\u2013376. MIT Press (1994). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/1994\/hash\/ef50c335cca9f340bde656363ebd02fd-Abstract.html"},{"key":"10_CR15","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A.: Digging for decision trees: A case study in strategy sampling and learning. In: Steffen, B. (ed.) 2nd International Conference on Bridging the Gap Between AI and Reality (AISoLA 2024). Lecture Notes in Computer Science, vol. 15217, pp. 354\u2013378. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-75434-0_24","DOI":"10.1007\/978-3-031-75434-0_24"},{"key":"10_CR16","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":"10_CR17","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Hartmanns, A., Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: Sound statistical model checking for probabilities and expected rewards. In: Gurfinkel, A., Heule, M. (eds.) 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025). Lecture Notes in Computer Science, vol. 15696, pp. 167\u2013190. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-90643-5_9","DOI":"10.1007\/978-3-031-90643-5_9"},{"key":"10_CR18","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Hartmanns, A., Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: Statistical model checking beyond means: Quantiles, CVaR, and the DKW inequality. In: 2nd International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS 2025). Lecture Notes in Computer Science, vol. 16143, pp. 83\u201394. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-032-05792-1_5","DOI":"10.1007\/978-3-032-05792-1_5"},{"issue":"4","key":"10_CR19","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/biomet\/26.4.404","volume":"26","author":"C Clopper","year":"1934","unstructured":"Clopper, C., Pearson, E.S.: The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika 26(4), 404\u2013413 (1934). https:\/\/doi.org\/10.1093\/biomet\/26.4.404","journal-title":"Biometrika"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-030-55754-6_17","volume-title":"NASA Formal Methods","author":"PR D\u2019Argenio","year":"2020","unstructured":"D\u2019Argenio, P.R., Fraire, J.A., Hartmanns, A.: Sampling Distributed Schedulers for\u00a0Resilient Space Communication. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 291\u2013310. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_17"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-319-89366-2_21","volume-title":"Foundations of Software Science and Computation Structures","author":"PR D\u2019Argenio","year":"2018","unstructured":"D\u2019Argenio, P.R., Gerhold, M., Hartmanns, A., Sedwards, S.: A Hierarchy of Scheduler Classes for\u00a0Stochastic Automata. In: Baier, C., Dal Lago, U. (eds.) FoSSaCS 2018. LNCS, vol. 10803, pp. 384\u2013402. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89366-2_21"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-33693-0_7","volume-title":"Integrated Formal Methods","author":"PR D\u2019Argenio","year":"2016","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Legay, A., Sedwards, S.: Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 99\u2013114. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33693-0_7"},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Wienh\u00f6ft, P., van Wijk, M.: Multi-objective statistical model checking using lightweight strategy sampling (extended version). CoRR abs\/2511.13460 (2025). https:\/\/doi.org\/10.48550\/ARXIV.2511.13460","DOI":"10.48550\/ARXIV.2511.13460"},{"key":"10_CR24","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Wienh\u00f6ft, P., van Wijk, M.: Multi-objective statistical model checking using lightweight strategy sampling (artifact) (2026). https:\/\/doi.org\/10.5281\/zenodo.19660159","DOI":"10.5281\/zenodo.19660159"},{"issue":"4","key":"10_CR25","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/S10009-015-0383-0","volume":"17","author":"PR D\u2019Argenio","year":"2015","unstructured":"D\u2019Argenio, P.R., Legay, A., Sedwards, S., Traonouez, L.M.: Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17(4), 469\u2013484 (2015). https:\/\/doi.org\/10.1007\/S10009-015-0383-0","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-11936-6_10","volume-title":"Automated Technology for Verification and Analysis","author":"A David","year":"2014","unstructured":"David, A., et al.: On Time with Minimal Expected Cost! In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 129\u2013145. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11936-6_10"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2015","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.:  Uppaal Stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206\u2013211. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16"},{"issue":"4","key":"10_CR28","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0361-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"2","key":"10_CR29","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Agrawal, S., Pratap, A., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6(2), 182\u2013197 (2002). https:\/\/doi.org\/10.1109\/4235.996017","journal-title":"IEEE Trans. Evol. Comput."},{"key":"10_CR30","doi-asserted-by":"publisher","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), pp. 342\u2013351. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/LICS.2010.41","DOI":"10.1109\/LICS.2010.41"},{"key":"10_CR31","doi-asserted-by":"publisher","unstructured":"Etessami, K., Kwiatkowska, M.Z., Vardi, M.Y., Yannakakis, M.: Multi-objective model checking of Markov decision processes. Log. Methods Comput. Sci. 4(4) (2008). https:\/\/doi.org\/10.2168\/LMCS-4(4:8)2008","DOI":"10.2168\/LMCS-4(4:8)2008"},{"key":"10_CR32","unstructured":"Felten, F., et alC.: A toolkit for reliable benchmarking and research in multi-objective reinforcement learning. In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S. (eds.) 37th Annual Conference on Advances in Neural Information Processing Systems (NeurIPS 2023) (2023). http:\/\/papers.nips.cc\/paper_files\/paper\/2023\/hash\/4aa8891583f07ae200ba07843954caeb-Abstract-Datasets_and_Benchmarks.html"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated Verification Techniques for Probabilistic Systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53\u2013113. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21455-4_3"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-19835-9_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: Quantitative Multi-objective Verification for Probabilistic Systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 112\u2013127. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19835-9_11"},{"key":"10_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-33386-6_25","volume-title":"Automated Technology for Verification and Analysis","author":"V Forejt","year":"2012","unstructured":"Forejt, V., Kwiatkowska, M., Parker, D.: Pareto Curves for Probabilistic Model Checking. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, pp. 317\u2013332. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33386-6_25"},{"key":"10_CR36","doi-asserted-by":"publisher","unstructured":"Fu, C., et al.: EPMC Gets Knowledge in Multi-agent Systems. In: Finkbeiner, B., Wies, T. (eds.) VMCAI 2022. LNCS, vol. 13182, pp. 93\u2013107. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-94583-1_5","DOI":"10.1007\/978-3-030-94583-1_5"},{"issue":"1","key":"10_CR37","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1038\/scientificamerican0173-108","volume":"228","author":"M Gardner","year":"1973","unstructured":"Gardner, M.: Mathematical games. Sci. Am. 228(1), 108\u2013115 (1973). https:\/\/doi.org\/10.1038\/scientificamerican0173-108","journal-title":"Sci. Am."},{"key":"10_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-11439-2_10","volume-title":"Reachability Problems","author":"S Haddad","year":"2014","unstructured":"Haddad, S., Monmege, B.: Reachability in MDPs: Refining Convergence of Value Iteration. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 125\u2013137. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11439-2_10"},{"key":"10_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-030-90870-6_8","volume-title":"Formal Methods","author":"EM Hahn","year":"2021","unstructured":"Hahn, E.M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., Wojtczak, D.: Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. In: Huisman, M., P\u0103s\u0103reanu, C., Zhan, N. (eds.) FM 2021. LNCS, vol. 13047, pp. 142\u2013159. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-90870-6_8"},{"key":"10_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51"},{"key":"10_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-319-24953-7_10","volume-title":"Automated Technology for Verification and Analysis","author":"A Hartmanns","year":"2015","unstructured":"Hartmanns, A., Hermanns, H.: Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 131\u2013147. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24953-7_10"},{"key":"10_CR42","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Junges, S., Quatmann, T., Weininger, M.: A practitioner\u2019s guide to MDP model checking algorithms. In: Sankaranarayanan, S., Sharygina, N. (eds.) 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023). Lecture Notes in Computer Science, vol. 13993, pp. 469\u2013488. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-30823-9_24","DOI":"10.1007\/978-3-031-30823-9_24"},{"key":"10_CR43","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Quatmann, T., van Wijk, M.: Tools and algorithms for sound multi-objective probabilistic model checking. In: Sampaio, A., Stoelinga, M. (eds.) 27th International Symposium on Formal Methods (FM 2026). Lecture Notes in Computer Science, vol. 16556, pp. 189\u2013210. Springer (2026). https:\/\/doi.org\/10.1007\/978-3-032-26204-2_10","DOI":"10.1007\/978-3-032-26204-2_10"},{"key":"10_CR44","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Sedwards, S., D\u2019Argenio, P.R.: Efficient simulation-based verification of probabilistic timed automata. In: 2017 Winter Simulation Conference (WSC 2017), pp. 1419\u20131430. IEEE (2017). https:\/\/doi.org\/10.1109\/WSC.2017.8247885","DOI":"10.1109\/WSC.2017.8247885"},{"key":"10_CR45","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2023.102987","volume":"230","author":"IR Hasrat","year":"2023","unstructured":"Hasrat, I.R., Jensen, P.G., Larsen, K.G., Srba, J.: A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. 230, 102987 (2023). https:\/\/doi.org\/10.1016\/J.SCICO.2023.102987","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"10_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-022-09552-y","volume":"36","author":"CF Hayes","year":"2022","unstructured":"Hayes, C.F., et al.: A practical guide to multi-objective reinforcement learning and planning. Auton. Agent. Multi-Agent Syst. 36(1), 1\u201359 (2022). https:\/\/doi.org\/10.1007\/s10458-022-09552-y","journal-title":"Auton. Agent. Multi-Agent Syst."},{"issue":"4","key":"10_CR47","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/S10009-021-00633-Z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. 24(4), 589\u2013610 (2022). https:\/\/doi.org\/10.1007\/S10009-021-00633-Z","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10_CR48","unstructured":"Howard, R.A.: Dynamic Programming and Markov Processes, MIT Press (1960)"},{"key":"10_CR49","doi-asserted-by":"publisher","unstructured":"Katoen, J.P.: The probabilistic model checking landscape. In: Grohe, M., Koskinen, E., Shankar, N. (eds.) 31st Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2016), pp. 31\u201345. ACM (2016). https:\/\/doi.org\/10.1145\/2933575.2934574","DOI":"10.1145\/2933575.2934574"},{"key":"10_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-662-48057-1_27","volume-title":"Mathematical Foundations of Computer Science 2015","author":"D Kr\u00e4hmann","year":"2015","unstructured":"Kr\u00e4hmann, D., Schubert, J., Baier, C., Dubslaff, C.: Ratio and Weight Quantiles. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 344\u2013356. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48057-1_27"},{"key":"10_CR51","doi-asserted-by":"publisher","unstructured":"Kret\u00ednsk\u00fd, J., Meggendorfer, T.: Conditional value-at-risk for reachability and mean payoff in Markov decision processes. In: Dawar, A., Gr\u00e4del, E. (eds.) 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2018), pp. 609\u2013618. ACM (2018). https:\/\/doi.org\/10.1145\/3209108.3209176","DOI":"10.1145\/3209108.3209176"},{"key":"10_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-Time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"issue":"1","key":"10_CR53","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"MZ Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M.Z., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distributions. Theor. Comput. Sci. 282(1), 101\u2013150 (2002). https:\/\/doi.org\/10.1016\/S0304-3975(01)00046-9","journal-title":"Theor. Comput. Sci."},{"key":"10_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47166-2_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"KG Larsen","year":"2016","unstructured":"Larsen, K.G., Legay, A.: Statistical Model Checking: Past, Present, and Future. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 3\u201315. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_1"},{"key":"10_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-319-91908-9_23","volume-title":"Computing and Software Science","author":"A Legay","year":"2019","unstructured":"Legay, A., Lukina, A., Traonouez, L.M., Yang, J., Smolka, S.A., Grosu, R.: Statistical Model Checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 478\u2013504. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_23"},{"key":"10_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-319-15201-1_23","volume-title":"Software Engineering and Formal Methods","author":"A Legay","year":"2015","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"},{"key":"10_CR57","doi-asserted-by":"publisher","unstructured":"Li, L., Li, G., Cai, G.: A local Pareto front estimation framework for multi-objective optimization. In: Shen, W., et al. (eds.) 28th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2025), pp. 2103\u20132108. IEEE (2025). https:\/\/doi.org\/10.1109\/CSCWD64889.2025.11033349","DOI":"10.1109\/CSCWD64889.2025.11033349"},{"issue":"2","key":"10_CR58","doi-asserted-by":"publisher","first-page":"1753","DOI":"10.1109\/TAES.2023.3342794","volume":"60","author":"Z Li","year":"2024","unstructured":"Li, Z., Tang, J., Zhao, H., Chen, C., Xie, S.: Dictionary learning-structured reinforcement learning with adaptive-sparsity regularizer. IEEE Trans. Aerosp. Electron. Syst. 60(2), 1753\u20131769 (2024). https:\/\/doi.org\/10.1109\/TAES.2023.3342794","journal-title":"IEEE Trans. Aerosp. Electron. Syst."},{"key":"10_CR59","doi-asserted-by":"publisher","unstructured":"Miller, R.G.: Simultaneous Statistical Inference. Springer, Cham (1966). https:\/\/doi.org\/10.1007\/978-1-4613-8122-8","DOI":"10.1007\/978-1-4613-8122-8"},{"key":"10_CR60","doi-asserted-by":"publisher","unstructured":"Moffaert, K.V., Drugan, M.M., Now\u00e9, A.: Scalarized multi-objective reinforcement learning: Novel design techniques. In: 2013 IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning (ADPRL 2013), pp. 191\u2013199. IEEE (2013). https:\/\/doi.org\/10.1109\/ADPRL.2013.6615007","DOI":"10.1109\/ADPRL.2013.6615007"},{"key":"10_CR61","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.1016\/j.apenergy.2013.08.061","volume":"113","author":"AT Nguyen","year":"2014","unstructured":"Nguyen, A.T., Reiter, S., Rigo, P.: A review on simulation-based optimization methods applied to building performance analysis. Appl. Energy 113, 1043\u20131058 (2014). https:\/\/doi.org\/10.1016\/j.apenergy.2013.08.061","journal-title":"Appl. Energy"},{"key":"10_CR62","doi-asserted-by":"publisher","unstructured":"Okumura, N., Takagi, T., Ohta, Y., Sato, H.: Pareto front upconvert on multi-objective building facility control optimization. In: Silva, S., Paquete, L. (eds.) Genetic and Evolutionary Computation Conference (GECCO 2023), pp. 1963\u20131971. ACM (2023). https:\/\/doi.org\/10.1145\/3583133.3596339","DOI":"10.1145\/3583133.3596339"},{"key":"10_CR63","doi-asserted-by":"publisher","unstructured":"Parsopoulos, K.E., Vrahatis, M.N.: Particle swarm optimization method in multiobjective problems. In: Lamont, G.B., Haddad, H., Papadopoulos, G.A., Panda, B. (eds.) 2002 ACM Symposium on Applied Computing (SAC 2002), pp. 603\u2013607. ACM (2002). https:\/\/doi.org\/10.1145\/508791.508907","DOI":"10.1145\/508791.508907"},{"key":"10_CR64","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (FOCS 1977), pp. 46\u201357. IEEE Computer Society (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"10_CR65","doi-asserted-by":"publisher","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley Series in Probability and Statistics, Wiley (1994). https:\/\/doi.org\/10.1002\/9780470316887","DOI":"10.1002\/9780470316887"},{"key":"10_CR66","doi-asserted-by":"publisher","unstructured":"Quatmann, T.: Verification of multi-objective Markov models Ph.D. thesis, RWTH Aachen University (2023). https:\/\/doi.org\/10.18154\/RWTH-2023-09669","DOI":"10.18154\/RWTH-2023-09669"},{"issue":"3","key":"10_CR67","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1007\/S10957-019-01582-Z","volume":"183","author":"EAP Quiroz","year":"2019","unstructured":"Quiroz, E.A.P., Apolin\u00e1rio, H.C.F., Villacorta, K.D.V., Oliveira, P.R.: A linear scalarization proximal point method for quasiconvex multiobjective minimization. J. Optim. Theory Appl. 183(3), 1028\u20131052 (2019). https:\/\/doi.org\/10.1007\/S10957-019-01582-Z","journal-title":"J. Optim. Theory Appl."},{"issue":"2\u20133","key":"10_CR68","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/S10703-016-0262-7","volume":"50","author":"M Randour","year":"2017","unstructured":"Randour, M., Raskin, J.F., Sankur, O.: Percentile queries in multi-dimensional Markov decision processes. Formal Methods Syst. Des. 50(2\u20133), 207\u2013248 (2017). https:\/\/doi.org\/10.1007\/S10703-016-0262-7","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"10_CR69","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/S0377-2217(01)00190-4","volume":"140","author":"RA Sarker","year":"2002","unstructured":"Sarker, R.A., Liang, K.H., Newton, C.S.: A new multiobjective evolutionary algorithm. Eur. J. Oper. Res. 140(1), 12\u201323 (2002). https:\/\/doi.org\/10.1016\/S0377-2217(01)00190-4","journal-title":"Eur. J. Oper. Res."},{"issue":"318","key":"10_CR70","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1080\/01621459.1967.10482935","volume":"62","author":"Z \u0160id\u00e1k","year":"1967","unstructured":"\u0160id\u00e1k, Z.: Rectangular confidence regions for the means of multivariate normal distributions. J. Am. Stat. Assoc. 62(318), 626\u2013633 (1967). https:\/\/doi.org\/10.1080\/01621459.1967.10482935","journal-title":"J. Am. Stat. Assoc."},{"issue":"1","key":"10_CR71","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00938820","volume":"53","author":"C Singh","year":"1987","unstructured":"Singh, C.: Optimality conditions in multiobjective differentiable programming. J. Optim. Theory Appl. 53(1), 115\u2013123 (1987). https:\/\/doi.org\/10.1007\/BF00938820","journal-title":"J. Optim. Theory Appl."},{"key":"10_CR72","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/J.FUTURE.2021.10.013","volume":"128","author":"F Song","year":"2022","unstructured":"Song, F., Xing, H., Wang, X., Luo, S., Dai, P., Li, K.: Offloading dependent tasks in multi-access edge computing: A multi-objective reinforcement learning approach. Future Gener. Comput. Syst. 128, 333\u2013348 (2022). https:\/\/doi.org\/10.1016\/J.FUTURE.2021.10.013","journal-title":"Future Gener. Comput. Syst."},{"issue":"10","key":"10_CR73","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1057\/PALGRAVE.JORS.2602068","volume":"57","author":"B Suman","year":"2006","unstructured":"Suman, B., Kumar, P.: A survey of simulated annealing as a tool for single and multiobjective optimization. J. Oper. Res. Soc. 57(10), 1143\u20131160 (2006). https:\/\/doi.org\/10.1057\/PALGRAVE.JORS.2602068","journal-title":"J. Oper. Res. Soc."},{"key":"10_CR74","unstructured":"Sutton, R.S.: Generalization in reinforcement learning: Successful examples using sparse coarse coding. In: Touretzky, D.S., Mozer, M., Hasselmo, M.E. (eds.) Advances in Neural Information Processing Systems 8 (NIPS 1995), pp. 1038\u20131044. MIT Press (1995). http:\/\/papers.nips.cc\/paper\/1109-generalization-in-reinforcement-learning-successful-examples-using-sparse-coarse-coding"},{"key":"10_CR75","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement learning - an introduction, 2nd edn. MIT Press (2018)"},{"key":"10_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-37075-5_23","volume-title":"Foundations of Software Science and Computation Structures","author":"M Ummels","year":"2013","unstructured":"Ummels, M., Baier, C.: Computing Quantiles in Markov Reward Models. In: Pfenning, F. (ed.) FoSSaCS 2013. LNCS, vol. 7794, pp. 353\u2013368. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37075-5_23"},{"issue":"1\u20132","key":"10_CR77","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/S10994-010-5232-5","volume":"84","author":"P Vamplew","year":"2011","unstructured":"Vamplew, P., Dazeley, R., Berry, A., Issabekov, R., Dekker, E.: Empirical evaluation methods for multiobjective reinforcement learning algorithms. Mach. Learn. 84(1\u20132), 51\u201380 (2011). https:\/\/doi.org\/10.1007\/S10994-010-5232-5","journal-title":"Mach. Learn."},{"key":"10_CR78","doi-asserted-by":"publisher","DOI":"10.1016\/J.ENGAPPAI.2021.104186","volume":"100","author":"P Vamplew","year":"2021","unstructured":"Vamplew, P., Foale, C., Dazeley, R., Bignold, A.: Potential-based multiobjective reinforcement learning approaches to low-impact agents for AI safety. Eng. Appl. Artif. Intell. 100, 104186 (2021). https:\/\/doi.org\/10.1016\/J.ENGAPPAI.2021.104186","journal-title":"Eng. Appl. Artif. Intell."},{"issue":"1","key":"10_CR79","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1162\/EVCO_A_00118","volume":"23","author":"DV Vargas","year":"2015","unstructured":"Vargas, D.V., Murata, J., Takano, H., Delbem, A.C.B.: General subpopulation framework and taming the conflict inside populations. Evol. Comput. 23(1), 1\u201336 (2015). https:\/\/doi.org\/10.1162\/EVCO_A_00118","journal-title":"Evol. Comput."},{"key":"10_CR80","doi-asserted-by":"publisher","unstructured":"Wan, C., Chen, X., Liu, D.: A multi-objective-driven placement technique for digital microfluidic biochips. J. Circuits Syst. Comput. 28(5), 1950076:1\u20131950076:15 (2019). https:\/\/doi.org\/10.1142\/S0218126619500762","DOI":"10.1142\/S0218126619500762"},{"issue":"4","key":"10_CR81","doi-asserted-by":"publisher","first-page":"2847","DOI":"10.1109\/TPWRS.2016.2622858","volume":"32","author":"C Wang","year":"2017","unstructured":"Wang, C., Hou, Y., Qiu, F., Lei, S., Liu, K.: Resilience enhancement with sequentially proactive operation strategies. IEEE Trans. Power Syst. 32(4), 2847\u20132857 (2017). https:\/\/doi.org\/10.1109\/TPWRS.2016.2622858","journal-title":"IEEE Trans. Power Syst."},{"key":"10_CR82","doi-asserted-by":"publisher","unstructured":"Wray, K.H., Zilberstein, S., Mouaddib, A.I.: Multi-objective MDPs with conditional lexicographic reward preferences. In: Bonet, B., Koenig, S. (eds.) 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 3418\u20133424. AAAI Press (2015). https:\/\/doi.org\/10.1609\/AAAI.V29I1.9647","DOI":"10.1609\/AAAI.V29I1.9647"},{"key":"10_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-030-22649-7_25","volume-title":"Human Interface and the Management of Information. Information in Intelligent Systems","author":"T Yamaguchi","year":"2019","unstructured":"Yamaguchi, T., Nagahama, S., Ichikawa, Y., Takadama, K.: Model-Based Multi-objective Reinforcement Learning with Unknown Weights. In: Yamamoto, S., Mori, H. (eds.) HCII 2019. LNCS, vol. 11570, pp. 311\u2013321. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22649-7_25"},{"key":"10_CR84","unstructured":"Yang, R., Sun, X., Narasimhan, K.: A generalized algorithm for multi-objective reinforcement learning and policy adaptation. In: Wallach, H.M., Larochelle, H., Beygelzimer, A., d\u2019Alch\u00e9 Buc, F., Fox, E.B., Garnett, R. (eds.) 33rd Annual Conference on Advances in Neural Information Processing Systems (NeurIPS 2019), pp. 14610\u201314621 (2019). https:\/\/proceedings.neurips.cc\/paper\/2019\/hash\/4a46fbfca3f1465a27b210f4bdfe6ab3-Abstract.html"},{"key":"10_CR85","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223\u2013235. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_17"},{"issue":"6","key":"10_CR86","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1109\/TEVC.2014.2378512","volume":"19","author":"X Zhang","year":"2015","unstructured":"Zhang, X., Tian, Y., Jin, Y.: A knee point-driven evolutionary algorithm for many-objective optimization. IEEE Trans. Evol. Comput. 19(6), 761\u2013776 (2015). https:\/\/doi.org\/10.1109\/TEVC.2014.2378512","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"1","key":"10_CR87","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1186\/S13634-022-00881-4","volume":"2022","author":"Y Zhu","year":"2022","unstructured":"Zhu, Y., Liang, S., Xue, G., Yang, R., Wu, X.: An efficient multi-objective optimization approach for sensor management via multi-Bernoulli filtering. EURASIP J. Adv. Signal Process. 2022(1), 62 (2022). https:\/\/doi.org\/10.1186\/S13634-022-00881-4","journal-title":"EURASIP J. Adv. Signal Process."},{"key":"10_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-540-88908-3_14","volume-title":"Multiobjective Optimization","author":"E Zitzler","year":"2008","unstructured":"Zitzler, E., Knowles, J., Thiele, L.: Quality Assessment of Pareto Set Approximations. In: Branke, J., Deb, K., Miettinen, K., S\u0142owi\u0144ski, R. (eds.) Multiobjective Optimization. LNCS, vol. 5252, pp. 373\u2013404. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88908-3_14"},{"key":"10_CR89","doi-asserted-by":"publisher","unstructured":"Zitzler, E., Thiele, L.: Multiobjective optimization using evolutionary algorithms \u2013 a comparative case study. In: Eiben, A.E., B\u00e4ck, T., Schoenauer, M., Schwefel, H.P. (eds.) 5th International Conference on Parallel Problem Solving from Nature (PPSN 1998). Lecture Notes in Computer Science, vol.\u00a01498, pp. 292\u2013304. Springer, Cham (1998).https:\/\/doi.org\/10.1007\/BFB0056872","DOI":"10.1007\/BFB0056872"},{"issue":"2","key":"10_CR90","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1109\/TEVC.2003.810758","volume":"7","author":"E Zitzler","year":"2003","unstructured":"Zitzler, E., Thiele, L., Laumanns, M., Fonseca, C.M., da Fonseca, V.G.: Performance assessment of multiobjective optimizers: an analysis and review. IEEE Trans. Evol. Comput. 7(2), 117\u2013132 (2003). https:\/\/doi.org\/10.1109\/TEVC.2003.810758","journal-title":"IEEE Trans. Evol. Comput."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-35298-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T13:24:21Z","timestamp":1788009861000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-35298-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,30]]},"ISBN":["9783032352972","9783032352989"],"references-count":90,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-35298-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,8,30]]},"assertion":[{"value":"30 August 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST+FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Liverpool","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest-formats.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}