{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T04:52:52Z","timestamp":1781671972122,"version":"3.54.5"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032041890","type":"print"},{"value":"9783032041906","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"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-032-04190-6_17","type":"book-chapter","created":{"date-parts":[[2025,9,7]],"date-time":"2025-09-07T13:24:34Z","timestamp":1757251474000},"page":"273-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Robot Mission Adaptation with\u00a0Quantitative Guarantees"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7187-140X","authenticated-orcid":false,"given":"Qi","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3741-252X","authenticated-orcid":false,"given":"Ioannis","family":"Stefanakos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6717-4775","authenticated-orcid":false,"given":"Javier","family":"C\u00e1mara","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2678-9260","authenticated-orcid":false,"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,8]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Bacci, E., Parker, D.: Probabilistic guarantees for safe deep reinforcement learning (2020). https:\/\/arxiv.org\/abs\/2005.07073","DOI":"10.1007\/978-3-030-57628-8_14"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Cai, M., Zhou, Z., Li, L., Xiao, S., Kan, Z.: Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized b\u00fcchi automaton. Journal of Automation and Intelligence (2024)","DOI":"10.1016\/j.jai.2024.12.005"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Schmerl, B., Garlan, D.: Software architecture and task plan co-adaptation for mobile service robots. In: SEAMS, pp. 125\u2013136 (2020)","DOI":"10.1145\/3387939.3391591"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Muccini, H., Vaidhyanathan, K.: Quantitative verification-aided machine learning: A tandem approach for architecting self-adaptive iot systems. In: 2020 IEEE International Conference on Software Architecture (ICSA), pp. 11\u201322 (2020)","DOI":"10.1109\/ICSA47634.2020.00010"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Edrisi, F., Perez-Palacin, D., Caporuscio, M., Giussani, S.: Adaptive controllers and digital twin for self-adaptive robotic manipulators. In: IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 56\u201367 (2023)","DOI":"10.1109\/SEAMS59076.2023.00017"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Fu, J., Topcu, U.: Probably approximately correct mdp learning and control with temporal logic constraints (2014). https:\/\/arxiv.org\/abs\/1404.7073","DOI":"10.15607\/RSS.2014.X.039"},{"key":"17_CR7","unstructured":"Furelos-Blanco, D., Law, M., Jonsson, A., Broda, K., Russo, A.: Hierarchies of reward machines. In: Proceedings of the 40th International Conference on Machine Learning, vol.\u00a0202, pp. 10494\u201310541 (2023)"},{"issue":"42","key":"17_CR8","first-page":"1437","volume":"16","author":"J Garc\u00eda","year":"2015","unstructured":"Garc\u00eda, J.: Fern, o Fern\u00e1ndez: A comprehensive survey on safe reinforcement learning. J. Mach. Learn. Res. 16(42), 1437\u20131480 (2015)","journal-title":"J. Mach. Learn. Res."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Gerasimou, S., Calinescu, R., Banks, A.: Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. In: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 115\u2013124. ACM (2014)","DOI":"10.1145\/2593929.2593932"},{"issue":"1","key":"17_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s40860-022-00198-x","volume":"10","author":"S Ghanadbashi","year":"2024","unstructured":"Ghanadbashi, S., Safavifar, Z., Taebi, F., Golpayegani, F.: Handling uncertainty in self-adaptive systems: an ontology-based reinforcement learning model. J. Reliable Intell. Environ. 10(1), 19\u201344 (2024)","journal-title":"J. Reliable Intell. Environ."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Gross, D., Spieker, H.: Probabilistic model checking of stochastic reinforcement learning policies (2024). https:\/\/arxiv.org\/abs\/2403.18725","DOI":"10.5220\/0012357700003636"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Hamilton, J., Stefanakos, I., Calinescu, R., C\u00e1mara, J.: Towards adaptive planning of assistive-care robot tasks. In: Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems. EPTCS, vol.\u00a0371, pp. 175\u2013183 (2022)","DOI":"10.4204\/EPTCS.371.12"},{"issue":"5","key":"17_CR13","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Hasanbeig, M., Kroening, D., Abate, A.: Deep reinforcement learning with temporal logics. In: Formal Modeling and Analysis of Timed Systems: 18th International Conference, p. 1\u201322. Springer-Verlag, Berlin, Heidelberg (2020)","DOI":"10.1007\/978-3-030-57628-8_1"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Hezavehi, S.M., Weyns, D., Avgeriou, P., Calinescu, R., Mirandola, R., Perez-Palacin, D.: Uncertainty in self-adaptive systems: A research community perspective. ACM Trans. Autonomous Adaptive Syst. 15(4) (2021)","DOI":"10.1145\/3487921"},{"key":"17_CR16","unstructured":"Jothimurugan, K., Bansal, S., Bastani, O., Alur, R.: Compositional reinforcement learning from logical specifications. In: Advances in Neural Information Processing Systems, vol.\u00a034, pp. 10026\u201310039. Curran Associates, Inc. (2021)"},{"issue":"1","key":"17_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Kim, D., Park, S.: Reinforcement learning-based dynamic adaptation planning method for architecture-based self-managed software. In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems pp. 76\u201385 (2009)","DOI":"10.1109\/SEAMS.2009.5069076"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Prism 4.0: Verification of probabilistic real-time systems. In: Computer Aided Verification, pp. 585\u2013591 (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M.Z., Norman, G., Parker, D.: Stochastic model checking. In: Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. LNCS, vol. 4486, pp. 220\u2013270. Springer (2007)","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Macenski, S., Mart\u00edn, F., White, R., Clavero, J.G.: The marathon 2: A navigation system. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 2718\u20132725 (2020)","DOI":"10.1109\/IROS45743.2020.9341207"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Mason, G., Calinescu, R., Kudenko, D., Banks, A.: Assurance in Reinforcement Learning Using Quantitative Verification, pp. 71\u201396. Springer (2018)","DOI":"10.1007\/978-3-319-66790-4_5"},{"issue":"4","key":"17_CR23","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1109\/TSE.2022.3230059","volume":"49","author":"C Menghi","year":"2022","unstructured":"Menghi, C., Tsigkanos, C., Askarpour, M., Pelliccione, P., Vazquez, G., Calinescu, R., Garc\u00eda, S.: Mission specification patterns for mobile robots: providing support for quantitative properties. IEEE Trans. Software Eng. 49(4), 2741\u20132760 (2022)","journal-title":"IEEE Trans. Software Eng."},{"issue":"10","key":"17_CR24","doi-asserted-by":"publisher","first-page":"2208","DOI":"10.1109\/TSE.2019.2945329","volume":"47","author":"C Menghi","year":"2019","unstructured":"Menghi, C., Tsigkanos, C., Pelliccione, P., Ghezzi, C., Berger, T.: Specification patterns for robotic missions. IEEE Trans. Software Eng. 47(10), 2208\u20132224 (2019)","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"17_CR25","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1007\/s00607-022-01052-x","volume":"106","author":"A Metzger","year":"2022","unstructured":"Metzger, A., Quinton, C., Mann, Z.A., Baresi, L., Pohl, K.: Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration. Computing 106(4), 1251\u20131272 (2022)","journal-title":"Computing"},{"issue":"2","key":"17_CR26","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1162\/0899766053011528","volume":"17","author":"J Morimoto","year":"2005","unstructured":"Morimoto, J., Doya, K.: Robust reinforcement learning. Neural Comput. 17(2), 335\u2013359 (2005)","journal-title":"Neural Comput."},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Ryan, P., Shahbeigi, S., Zou, J., Stefanakos, I., Molloy, J.: A dynamic assurance framework for an autonomous survey drone. In: Computer Safety, Reliability, and Security: 43rd International Conference, pp. 285\u2013299. Springer (2024)","DOI":"10.1007\/978-3-031-68606-1_18"},{"key":"17_CR28","unstructured":"Shao, J., Qu, Y., Chen, C., Zhang, H., Ji, X.: Counterfactual conservative q learning for offline multi-agent reinforcement learning (2023). https:\/\/arxiv.org\/abs\/2309.12696"},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Silva, G.R., Pasler, J., Zwanepol, J., Alberts, E., Tarifa, S.L.T., Gerostathopoulos, I., Johnsen, E.B., Corbato, C.H.: SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. In: SEAMS. pp. 181\u2013187 (2023)","DOI":"10.1109\/SEAMS59076.2023.00031"},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"Stefanakos, I., Calinescu, R., Douthwaite, J., Aitken, J., Law, J.: Safety controller synthesis for a mobile manufacturing cobot. In: Software Engineering and Formal Methods: 20th International Conference, pp. 271\u2013287. Springer-Verlag (2022)","DOI":"10.1007\/978-3-031-17108-6_17"},{"issue":"2","key":"17_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10515-022-00337-x","volume":"29","author":"F Tambon","year":"2022","unstructured":"Tambon, F., Laberge, G., An, L., Nikanjam, A., Mindom, P.S.N., Pequignot, Y., Khomh, F., Antoniol, G., Merlo, E., Laviolette, F.: How to certify machine learning based safety-critical systems? A systematic literature review. Autom. Softw. Eng. 29(2), 1\u201374 (2022). https:\/\/doi.org\/10.1007\/s10515-022-00337-x","journal-title":"Autom. Softw. Eng."},{"key":"17_CR32","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2022.104351","volume":"161","author":"D Tian","year":"2023","unstructured":"Tian, D., Fang, H., Yang, Q., Yu, H., Liang, W., Wu, Y.: Reinforcement learning under temporal logic constraints as a sequence modeling problem. Robot. Auton. Syst. 161, 104351 (2023)","journal-title":"Robot. Auton. Syst."},{"key":"17_CR33","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1613\/jair.1.12440","volume":"73","author":"R Toro Icarte","year":"2022","unstructured":"Toro Icarte, R., Klassen, T.Q., Valenzano, R., McIlraith, S.A.: Reward machines: exploiting reward function structure in reinforcement learning. J. Artif. Intell. Res. 73, 173\u2013208 (2022)","journal-title":"J. Artif. Intell. Res."},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Voloshin, C., Le, H., Chaudhuri, S., Yue, Y.: Policy optimization with linear temporal logic constraints. In: Advances in Neural Information Processing Systems, vol.\u00a035, pp. 17690\u201317702. Curran Associates, Inc. (2022)","DOI":"10.52202\/068431-1286"},{"key":"17_CR35","unstructured":"Voloshin, C., Verma, A., Yue, Y.: Eventual discounting temporal logic counterfactual experience replay (2023). https:\/\/arxiv.org\/abs\/2303.02135"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Advanced Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04190-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T04:04:53Z","timestamp":1781669093000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04190-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"ISBN":["9783032041890","9783032041906"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04190-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,8]]},"assertion":[{"value":"8 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Euromicro Conference on Software Engineering and Advanced Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salerno","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"51","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"seaa-12025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dsd-seaa.com\/seaa2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}