{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:04:01Z","timestamp":1743080641339,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031757778"},{"type":"electronic","value":"9783031757785"}],"license":[{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T00:00:00Z","timestamp":1731888000000},"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-75778-5_18","type":"book-chapter","created":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T12:09:15Z","timestamp":1731845355000},"page":"374-395","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Rescuing Catastrophe Victims by\u00a0Interactive Markov Chains with\u00a0Clocks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9138-8340","authenticated-orcid":false,"given":"Martin","family":"Fr\u00e4nzle","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3993-8886","authenticated-orcid":false,"given":"Rabeaeh","family":"Kiaghadi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0301-3611","authenticated-orcid":false,"given":"Paul","family":"Kr\u00f6ger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,18]]},"reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57318-6_30"},{"issue":"2","key":"18_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-77050-3_15","volume-title":"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science","author":"C Baier","year":"2007","unstructured":"Baier, C., Bertrand, N., Bouyer, P., Brihaye, T., Gr\u00f6\u00dfer, M.: Probabilistic and topological semantics for timed automata. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol. 4855, pp. 179\u2013191. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-77050-3_15"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1016\/j.ic.2017.09.010","volume":"261","author":"N Basset","year":"2018","unstructured":"Basset, N., Kwiatkowska, M., Wiltsche, C.: Compositional strategy synthesis for stochastic games with multiple objectives. Inf. Comput. 261, 536\u2013587 (2018). https:\/\/doi.org\/10.1016\/j.ic.2017.09.010","journal-title":"Inf. Comput."},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0304-3975(01)00215-8","volume":"292","author":"D Beauquier","year":"2003","unstructured":"Beauquier, D.: On probabilistic timed automata. Theoret. Comput. Sci. 292(1), 65\u201384 (2003). https:\/\/doi.org\/10.1016\/S0304-3975(01)00215-8","journal-title":"Theoret. Comput. Sci."},{"key":"18_CR6","volume-title":"Dynamic Programming","author":"R Bellman","year":"1957","unstructured":"Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)"},{"issue":"5","key":"18_CR7","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":"10","key":"18_CR8","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.P.: Modest: a compositional modeling formalism for hard and softly timed systems. IEEE Trans. Software Eng. 32(10), 812\u2013830 (2006)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of interactive generalized semi-Markov processes. Theoret. Comput. Sci. 282(1), 5\u201332 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Caravagna, G., Graudenzi, A., Antoniotti, M., Mauri, G., d\u2019Onofrio, A.: Effects of delayed immune-response in tumor immune-system interplay. arXiv preprint arXiv:1208.3855 (2012)","DOI":"10.4204\/EPTCS.92.8"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-40313-2_25","volume-title":"Mathematical Foundations of Computer Science 2013","author":"T Chen","year":"2013","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M., Simaitis, A., Wiltsche, C.: On stochastic games with multiple objectives. In: Chatterjee, K., Sgall, J. (eds.) MFCS 2013. LNCS, vol. 8087, pp. 266\u2013277. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40313-2_25"},{"key":"18_CR12","unstructured":"D\u2019Argenio, P.R., Katoen, J.P., Brinksma, H.: A stochastic automata model and its algebraic approach. In: 5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997, pp. 1\u201316. Centre for Telematics and Information Technology (CTIT) (1997)"},{"issue":"4","key":"18_CR13","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., Mikucionis, M., Poulsen, D.B.: UPPAAL SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/S10009-014-0361-Y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"18_CR14","doi-asserted-by":"publisher","unstructured":"Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp. 342\u2013351. IEEE (2010). https:\/\/doi.org\/10.1109\/LICS.2010.41","DOI":"10.1109\/LICS.2010.41"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Fr\u00e4nzle, M., Hahn, E.M., Hermanns, H., Wolovick, N., Zhang, L.: Measurability and safety verification for stochastic hybrid systems. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, pp. 43\u201352. ACM (2011)","DOI":"10.1145\/1967701.1967710"},{"issue":"3","key":"18_CR16","first-page":"409","volume":"3","author":"PJ Haas","year":"1987","unstructured":"Haas, P.J., Shedler, G.S.: Regenerative generalized semi-Markov processes. Stoch. Model. 3(3), 409\u2013438 (1987)","journal-title":"Stoch. Model."},{"key":"18_CR17","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H.: Reachability and reward checking for stochastic timed automata. EASST Electronic Commun. 70 (2014)"},{"issue":"2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"EM Hahn","year":"2013","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.P.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Meth. Syst. Des. 43(2), 191\u2013232 (2013)","journal-title":"Formal Meth. Syst. Des."},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-78929-1_18","volume-title":"Hybrid Systems: Computation and Control","author":"T Han","year":"2008","unstructured":"Han, T., Katoen, J.-P., Mereacre, A.: Compositional modeling and minimization of time-inhomogeneous Markov chains. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 244\u2013258. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78929-1_18"},{"key":"18_CR20","doi-asserted-by":"publisher","unstructured":"Hartmanns, A.: On the analysis of stochastic timed systems. Ph.D. thesis, Faculty of Natural Science and Technology I of Saarland University (2015). https:\/\/doi.org\/10.22028\/D291-26597","DOI":"10.22028\/D291-26597"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2015.08.009","volume":"112","author":"A Hartmanns","year":"2015","unstructured":"Hartmanns, A., Hermanns, H.: In the quantitative automata zoo. Sci. Comput. Program. 112, 3\u201323 (2015). https:\/\/doi.org\/10.1016\/j.scico.2015.08.009","journal-title":"Sci. Comput. Program."},{"key":"18_CR22","doi-asserted-by":"publisher","unstructured":"Hermanns, H.: Interactive Markov Chains: The Quest for Quantified Quality, LNCS, vol.\u00a02428. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45804-2","DOI":"10.1007\/3-540-45804-2"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-17071-3_16","volume-title":"Formal Methods for Components and Objects","author":"H Hermanns","year":"2010","unstructured":"Hermanns, H., Katoen, J.-P.: The how and why of interactive Markov chains. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 311\u2013337. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17071-3_16"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-540-24743-2_26","volume-title":"Hybrid Systems: Computation and Control","author":"JP Hespanha","year":"2004","unstructured":"Hespanha, J.P.: Stochastic hybrid systems: application to communication networks. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 387\u2013401. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24743-2_26"},{"key":"18_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","volume-title":"Hybrid Systems: Computation and Control","author":"J Hu","year":"2000","unstructured":"Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Lynch, N., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 160\u2013173. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46430-1_16"},{"key":"18_CR26","doi-asserted-by":"publisher","unstructured":"Kiaghadi, R.: Optimal rescue sequences in disastrous incidents. In: Malvone, V., Murano, A. (eds.) EUMAS 202. LNCS, vol. 14282, pp. 534\u2013539. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43264-4_43","DOI":"10.1007\/978-3-031-43264-4_43"},{"issue":"6","key":"18_CR27","doi-asserted-by":"publisher","first-page":"583","DOI":"10.3166\/ejc.16.583-594","volume":"16","author":"J Lygeros","year":"2010","unstructured":"Lygeros, J., Prandini, M.: Stochastic hybrid systems: a powerful framework for complex, large scale applications. Eur. J. Control. 16(6), 583\u2013594 (2010)","journal-title":"Eur. J. Control."},{"key":"18_CR28","unstructured":"Norris, J.R.: Markov Chains. No.\u00a02 in Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge (1998)"},{"key":"18_CR29","doi-asserted-by":"publisher","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley (2005). https:\/\/doi.org\/10.1002\/9780470316887","DOI":"10.1002\/9780470316887"},{"key":"18_CR30","unstructured":"Sproston, J.: Model checking of probabilistic timed and hybrid systems. Ph.D. thesis, University of Birmingham, UK (2000). http:\/\/ethos.bl.uk\/OrderDetails.do?uin=uk.bl.ethos.391021"},{"key":"18_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-319-67089-8_11","volume-title":"Reachability Problems","author":"J Sproston","year":"2017","unstructured":"Sproston, J.: Probabilistic timed automata with clock-dependent probabilities. In: Hague, M., Potapov, I. (eds.) RP 2017. LNCS, vol. 10506, pp. 144\u2013159. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67089-8_11"},{"key":"18_CR32","unstructured":"Wehbe, R., Williams, R.K.: Probabilistically resilient multi-robot informative path planning (2022). https:\/\/arxiv.org\/abs\/2206.11789"},{"key":"18_CR33","doi-asserted-by":"publisher","unstructured":"Weihrauch, K.: Computable Analysis \u2014 An Introduction. Texts in Theoretical Computer Science. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-642-56999-9","DOI":"10.1007\/978-3-642-56999-9"},{"key":"18_CR34","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-031-43835-6_17","volume-title":"QEST 2023","author":"L Willemsen","year":"2023","unstructured":"Willemsen, L., Remke, A., \u00c1brah\u00e1m, E.: Comparing two approaches to include stochasticity in hybrid automata. In: Jansen, N., Tribastone, M. (eds.) QEST 2023. LNCS, vol. 14287, pp. 238\u2013254. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43835-6_17"}],"container-title":["Lecture Notes in Computer Science","Principles of Verification: Cycling the Probabilistic Landscape"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75778-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T13:03:31Z","timestamp":1731848611000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75778-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,18]]},"ISBN":["9783031757778","9783031757785"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75778-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,18]]},"assertion":[{"value":"18 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}