{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,30]],"date-time":"2026-08-30T01:07:17Z","timestamp":1788052037484,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030851712","type":"print"},{"value":"9783030851729","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-85172-9_21","type":"book-chapter","created":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T23:04:46Z","timestamp":1629327886000},"page":"391-409","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Lumpability for Uncertain Continuous-Time Markov Chains"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,8,19]]},"reference":[{"issue":"6","key":"21_CR1","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov Chains. IEEE Trans. Software Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Software Eng."},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., Frehse, G., Grosu, R., Ladan, H., Podelski, A., Wehrle, M.: A box-based distance between regions for guiding the reachability analysis of SpaceEx. In: CAV, pp. 479\u2013494 (2012)","DOI":"10.1007\/978-3-642-31424-7_35"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-1-4757-3573-4_9","volume-title":"Concurrency in Dependable Computing","author":"A Bondavalli","year":"2002","unstructured":"Bondavalli, A., Coccoli, A., Giandomenico, F.D.: QoS analysis of group communication protocols in wireless environment. In: Ezhilchelvan, P., Romanovsky, A. (eds.) Concurrency in Dependable Computing, pp. 169\u2013188. Springer, Boston (2002). https:\/\/doi.org\/10.1007\/978-1-4757-3573-4_9"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Prob. 31(1), 59\u201375 (1994)","journal-title":"J. Appl. Prob."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Buchholz, P., Hahn, E.M., Hermanns, H., Zhang, L.: Model checking algorithms for CTMDPs. In: CAV, pp. 225\u2013242 (2011)","DOI":"10.1007\/978-3-642-22110-1_19"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Butkova, Y., Hatefi, H., Hermanns, H., Krc\u00e1l, J.: Optimal continuous time Markov decisions. In: ATVA, pp. 166\u2013182 (2015)","DOI":"10.1007\/978-3-319-24953-7_12"},{"issue":"34","key":"21_CR7","doi-asserted-by":"publisher","first-page":"4373","DOI":"10.1016\/j.tcs.2011.05.010","volume":"412","author":"B Caillaud","year":"2011","unstructured":"Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wasowski, A.: Constraint Markov chains. Theoret. Comput. Sci. 412(34), 4373\u20134404 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL, pp. 137\u2013150 (2016)","DOI":"10.1145\/2914770.2837649"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: TACAS (2017)","DOI":"10.1007\/978-3-662-54580-5_19"},{"issue":"38","key":"21_CR10","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L Cardelli","year":"2017","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. 114(38), 10029\u201310034 (2017)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"6","key":"21_CR11","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/s00236-016-0265-2","volume":"54","author":"M \u010ce\u0161ka","year":"2017","unstructured":"\u010ce\u0161ka, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M., Brim, L.: Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54(6), 589\u2013623 (2017)","journal-title":"Acta Informatica"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: CAV, pp. 258\u2013263 (2013)","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"21_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R David","year":"2005","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-642-10669-9"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Dehnert, C., et al.: PROPhESY: A PRObabilistic ParamEter SYnthesis tool. In: CAV, pp. 214\u2013231 (2015)","DOI":"10.1007\/978-3-319-21690-4_13"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A storm is coming: a modern probabilistic model checker. In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24\u201328, 2017, Proceedings, Part II, pp. 592\u2013600 (2017)","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Deifel, H.-P., Milius, S., Schr\u00f6der, L., Wi\u00dfmann, T.: Generic partition refinement and weighted tree automata. In: FM (2019, to Appear)","DOI":"10.1007\/978-3-030-30942-8_18"},{"issue":"6","key":"21_CR17","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S Derisavi","year":"2003","unstructured":"Derisavi, S., Hermanns, H., Sanders, W.H.: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6), 309\u2013315 (2003)","journal-title":"Inf. Process. Lett."},{"key":"21_CR18","unstructured":"Dorsch, U., Milius, S., Schr\u00f6der, L., Wi\u00dfmann, T.: Efficient coalgebraic partition refinement. In: CONCUR, pp. 32:1\u201332:16 (2017)"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Fan, C., Qi, B., Mitra, S., Viswanathan, M., Duggirala, P.S.: Automatic reachability analysis for nonlinear hybrid models with C2E2. In: CAV, pp. 531\u2013538 (2016)","DOI":"10.1007\/978-3-319-41528-4_29"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Fecher, H., Leucker, M., Wolf, V.: Don\u2019t Know in probabilistic systems. In: SPIN, pp. 71\u201388 (2006)","DOI":"10.1007\/11691617_5"},{"key":"21_CR21","unstructured":"William Gear, C.: Numerical Initial Value Problems in Ordinary Differential Equations. Prentice Hall PTR (1971)"},{"issue":"25","key":"21_CR22","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"21_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02547-1","volume-title":"Continuous-Time Markov Decision Processes","author":"X Guo","year":"2009","unstructured":"Guo, X., Hernandez-Lerma, O.: Continuous-Time Markov Decision Processes. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02547-1"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-43425-4_4","volume-title":"Quantitative Evaluation of Systems","author":"EM Hahn","year":"2016","unstructured":"Hahn, E.M., Hashemi, V., Hermanns, H., Turrini, A.: Exploiting robust optimization for interval probabilistic bisimulation. In: Agha, G., Van Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 55\u201371. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-43425-4_4"},{"issue":"4","key":"21_CR25","doi-asserted-by":"publisher","first-page":"1254","DOI":"10.1109\/TR.2015.2449292","volume":"64","author":"EM Hahn","year":"2015","unstructured":"Hahn, E.M., Hermanns, H., Wimmer, R., Becker, B.: Transient reward approximation for continuous-time Markov chains. IEEE Trans. Reliability 64(4), 1254\u20131275 (2015)","journal-title":"IEEE Trans. Reliability"},{"issue":"1","key":"21_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10009-010-0146-x","volume":"13","author":"EM Hahn","year":"2011","unstructured":"Hahn, E.M., Hermanns, H., Zhang, L.: Probabilistic reachability for parametric Markov models. STTT 13(1), 3\u201319 (2011)","journal-title":"STTT"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Hashemi, V., Turrini, A., Hahn, E.M., Hermanns, H., Elbassioni, K.M.: Polynomial-time alternating probabilistic bisimulation for interval MDPs. In: SETTA, pp. 25\u201341 (2017)","DOI":"10.1007\/978-3-319-69483-2_2"},{"key":"21_CR28","unstructured":"Haverkort, B.R., Hermanns, H., Katoen, J.-P.: On the use of model checking techniques for dependability evaluation. In: SRDS, pp. 228\u2013237 (2000)"},{"key":"21_CR29","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, semantics, equivalences, and axioms for MTIPP. In: Proceedings of Process Algebra and Probabilistic Methods, pp. 71\u201387, Erlangen (1994)"},{"key":"21_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"21_CR31","unstructured":"Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: LICS, pp. 266\u2013277 (1991)"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: QEST, pp. 243\u2013244 (2005)","DOI":"10.1109\/QEST.2005.2"},{"key":"21_CR33","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P., Klink, D., Leucker, M., Wolf, V.: Three-valued abstraction for continuous-time Markov chains. In: CAV, pp. 311\u2013324 (2007)","DOI":"10.1007\/978-3-540-73368-3_37"},{"key":"21_CR34","volume-title":"Finite Markov Chains","author":"JG Kemeny","year":"1976","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Springer, New York (1976)"},{"issue":"2","key":"21_CR35","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1014745904458","volume":"8","author":"IO Kozine","year":"2002","unstructured":"Kozine, I.O., Utkin, L.V.: Interval-valued finite Markov chains. Reliable Comput. 8(2), 97\u2013113 (2002)","journal-title":"Reliable Comput."},{"key":"21_CR36","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: CAV, pp. 585\u2013591 (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"issue":"3","key":"21_CR37","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2004.08.072","volume":"180","author":"P Lecca","year":"2007","unstructured":"Lecca, P., Priami, C.: Cell cycle control in eukaryotes: a biospi model. Electr. Notes Theor. Comput. Sci. 180(3), 51\u201363 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"21_CR38","doi-asserted-by":"crossref","unstructured":"Massink, M., Katoen, J.-P., Latella, D.: Model checking dependability attributes of wireless group communication. In: DSN, pp. 711\u2013720 (2004)","DOI":"10.1109\/DSN.2004.1311942"},{"key":"21_CR39","doi-asserted-by":"crossref","unstructured":"Neuh\u00e4u\u00dfer, M.R., Katoen, J.-P.: Bisimulation and logical preservation for continuous-time Markov decision processes. In CONCUR, pages 412\u2013427, 2007","DOI":"10.1007\/978-3-540-74407-8_28"},{"key":"21_CR40","volume-title":"Markov Chains","author":"JR Norris","year":"1998","unstructured":"Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1998)"},{"issue":"1378","key":"21_CR41","doi-asserted-by":"publisher","first-page":"2063","DOI":"10.1098\/rstb.1998.0352","volume":"353","author":"B Novak","year":"1998","unstructured":"Novak, B., Csikasz-Nagy, A., Gyorffy, B., Nasmyth, K., Tyson, J.J.: Model scenarios for evolution of the eukaryotic cell cycle. Philosophical Trans. Roy. Soc. Lond. Ser. B: Biol. Sci. 353(1378), 2063\u20132076 (1998)","journal-title":"Philosophical Trans. Roy. Soc. Lond. Ser. B: Biol. Sci."},{"key":"21_CR42","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Model-checking Markov chains in the presence of uncertainties. In: TACAS, pp. 394\u2013410 (2006)","DOI":"10.1007\/11691372_26"},{"issue":"4","key":"21_CR43","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s00285-010-0344-x","volume":"62","author":"PL Simon","year":"2010","unstructured":"Simon, P.L., Taylor, M., Kiss, I.Z.: Exact epidemic models on graphs using graph-automorphism driven lumping. J Math. Biol. 62(4), 479\u2013508 (2010)","journal-title":"J Math. Biol."},{"key":"21_CR44","doi-asserted-by":"crossref","unstructured":"Song, L., Zhang, L., Godskesen, J.Chr.: Bisimulations and logical characterizations on continuous-time Markov decision processes. In: VMCAI, pp. 98\u2013117 (2014)","DOI":"10.1007\/978-3-642-54013-4_6"},{"key":"21_CR45","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4gtc","volume-title":"Probability, Markov Chains, Queues, and Simulation","author":"WJ Stewart","year":"2009","unstructured":"Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press, PrincetonPrinceton (2009)"},{"key":"21_CR46","doi-asserted-by":"crossref","unstructured":"Valmari, A., Franceschinis, G.: Simple $${O}(m \\log n)$$ time Markov chain lumping. In: TACAS, pp. 38\u201352 (2010)","DOI":"10.1007\/978-3-642-12002-2_4"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85172-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T18:17:10Z","timestamp":1634840230000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85172-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030851712","9783030851729"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85172-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"19 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.qest.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5-6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 keynote paper is also included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}