{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T10:45:58Z","timestamp":1753181158844,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319216898"},{"type":"electronic","value":"9783319216904"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21690-4_12","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T02:08:27Z","timestamp":1436926107000},"page":"195-213","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Abate","sequence":"first","affiliation":[]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"16","author":"A Abate","year":"2010","unstructured":"Abate, A., Katoen, J.-P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 16, 624\u2013641 (2010)","journal-title":"Eur. J. Control"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-319-06880-0_2","volume-title":"Horizons of the Mind","author":"A Abate","year":"2014","unstructured":"Abate, A., Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. In: van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Horizons of the Mind. LNCS, vol. 8464, pp. 40\u201358. Springer, Heidelberg (2014)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-35524-0_2","volume-title":"Transactions on Computational Systems Biology XIV","author":"A Angius","year":"2012","unstructured":"Angius, A., Horv\u00e1th, A., Wolf, V.: Quasi Product form approximation for markov models of reaction networks. In: Priami, C., Petre, I., de Vink, E. (eds.) Transactions on Computational Systems Biology XIV. LNCS, vol. 7625, pp. 26\u201352. Springer, Heidelberg (2012)"},{"key":"12_CR4","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-642-32940-1_24","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"L Bortolussi","year":"2012","unstructured":"Bortolussi, L., Hillston, J.: Fluid model checking. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 333\u2013347. Springer, Heidelberg (2012)"},{"issue":"1\u20132","key":"12_CR6","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0304-3975(98)00169-8","volume":"215","author":"P Buchholz","year":"1999","unstructured":"Buchholz, P.: Exact performance equivalence: an equivalence relation for stochastic automata. Theor. Comput. Sci. 215(1\u20132), 263\u2013287 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"e94553","DOI":"10.1371\/journal.pone.0094553","volume":"9","author":"M \u010ceska","year":"2014","unstructured":"\u010ceska, M., \u0160afr\u00e1nek, D., Dra\u017ean, S., Brim, L.: Robustness analysis of stochastic biochemical systems. PloS One 9(4), e94553 (2014)","journal-title":"PloS One"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Chen, T., Kiefer, S.: On the total variation distance of labelled Markov chains. In: Computer Science Logic (CSL) and Logic in Computer Science (LICS) (2014)","DOI":"10.1145\/2603088.2603099"},{"key":"12_CR9","first-page":"9","volume":"25","author":"F Dannenberg","year":"2015","unstructured":"Dannenberg, F., Hahn, E.M., Kwiatkowska, M.: Computing cumulative rewards using fast adaptive uniformisation. ACM Trans. Model. Comput. Simul. Spec. Issue Comput. Methods Syst. Biol. (CMSB) 25, 9 (2015)","journal-title":"ACM Trans. Model. Comput. Simul. Spec. Issue Comput. Methods Syst. Biol. (CMSB)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Desharnais, J., Laviolette, F., Tracol, M.: Approximate analysis of probabilistic processes: logic, simulation and games. In: Quantitative Evaluation of SysTems (QEST), pp. 264\u2013273 (2008)","DOI":"10.1109\/QEST.2008.42"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"D\u2019Innocenzo, A., Abate, A., Katoen, J.-P.: Robust PCTL model checking. In: Hybrid Systems: Computation and Control (HSCC), pp. 275\u2013285. ACM (2012)","DOI":"10.1145\/2185632.2185673"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.amc.2005.12.032","volume":"180","author":"S Engblom","year":"2006","unstructured":"Engblom, S.: Computing the moments of high dimensional solutions of the master equation. Appl. Math. Comput. 180(2), 498\u2013515 (2006)","journal-title":"Appl. Math. Comput."},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.apnum.2008.01.004","volume":"59","author":"L Ferm","year":"2009","unstructured":"Ferm, L., L\u00f6tstedt, P.: Adaptive solution of the master equation in low dimensions. Appl. Numer. Math. 59(1), 187\u2013204 (2009)","journal-title":"Appl. Numer. Math."},{"issue":"4","key":"12_CR14","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"BL Fox","year":"1988","unstructured":"Fox, B.L., Glynn, P.W.: Computing poisson probabilities. Commun. ACM 31(4), 440\u2013445 (1988)","journal-title":"Commun. ACM"},{"issue":"25","key":"12_CR15","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\u20132381 (1977)","journal-title":"J. Phys. Chem."},{"issue":"3","key":"12_CR16","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s00285-013-0711-5","volume":"69","author":"J Hasenauer","year":"2014","unstructured":"Hasenauer, J., Wolf, V., Kazeroonian, A., Theis, F.: Method of conditional moments (MCM) for the chemical master equation. J. Math. Biol. 69(3), 687\u2013735 (2014)","journal-title":"J. Math. Biol."},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"708","DOI":"10.1016\/j.cam.2006.02.053","volume":"205","author":"M Hegland","year":"2007","unstructured":"Hegland, M., Burden, C., Santoso, L., MacNamara, S., Booth, H.: A solver for the stochastic master equation applied to gene regulatory networks. J. Comput. Appl. Math. 205(2), 708\u2013724 (2007)","journal-title":"J. Comput. Appl. Math."},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-02658-4_27","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"2009","unstructured":"Henzinger, T.A., Mateescu, M., Wolf, V.: Sliding window abstraction for infinite Markov chains. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 337\u2013352. Springer, Heidelberg (2009)"},{"issue":"11","key":"12_CR19","doi-asserted-by":"publisher","first-page":"8165","DOI":"10.1074\/jbc.M006264200","volume":"276","author":"AM Kierzek","year":"2001","unstructured":"Kierzek, A.M., Zaim, J., Zielenkiewicz, P.: The effect of transcription and translation initiation frequencies on the stochastic fluctuations in prokaryotic gene expression. J. Biol. Chem. 276(11), 8165\u20138172 (2001)","journal-title":"J. Biol. Chem."},{"key":"12_CR20","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)"},{"issue":"1","key":"12_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Madsen, C., Myers, C., Roehner, N., Winstead, C., Zhang, Z.: Utilizing stochastic model checking to analyze genetic circuits. In: Computational Intelligence in Bioinformatics and Computational Biology (CIBCB), pp. 379\u2013386. IEEE Computer Society (2012)","DOI":"10.1109\/CIBCB.2012.6217255"},{"issue":"6","key":"12_CR23","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1049\/iet-syb.2010.0005","volume":"4","author":"M Mateescu","year":"2010","unstructured":"Mateescu, M., Wolf, V., Didier, F., Henzinger, T.A.: Fast adaptive uniformization of the chemical master equation. IET Syst. Biol. 4(6), 441\u2013452 (2010)","journal-title":"IET Syst. Biol."},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"044104","DOI":"10.1063\/1.2145882","volume":"124","author":"B Munsky","year":"2006","unstructured":"Munsky, B., Khammash, M.: The finite state projection algorithm for the solution of the chemical master equation. J. Chem. Phys. 124, 044104 (2006)","journal-title":"J. Chem. Phys."},{"issue":"3","key":"12_CR25","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/S0167-9473(98)00062-0","volume":"29","author":"R Sidje","year":"1999","unstructured":"Sidje, R., Stewart, W.: A numerical study of large sparse matrix exponentials arising in Markov chains. Comput. Stat. Data Anal. 29(3), 345\u2013368 (1999)","journal-title":"Comput. Stat. Data Anal."},{"issue":"2","key":"12_CR26","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1137\/120871456","volume":"12","author":"SEZ Soudjani","year":"2013","unstructured":"Soudjani, S.E.Z., Abate, A.: Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. SIAM J. Appl. Dyn. Syst. 12(2), 921\u2013956 (2013)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1007\/978-3-642-54862-8_45","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Esmaeil Zadeh Soudjani","year":"2014","unstructured":"Esmaeil Zadeh Soudjani, S., Abate, A.: Precise approximations of the probability distribution of a markov process in time: an application to probabilistic invariance. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 547\u2013561. Springer, Heidelberg (2014)"},{"issue":"11","key":"12_CR28","doi-asserted-by":"publisher","first-page":"e1002218","DOI":"10.1371\/journal.pcbi.1002218","volume":"7","author":"R Steuer","year":"2011","unstructured":"Steuer, R., Waldherr, S., Sourjik, V., Kollmann, M.: Robust signal processing in living cells. PLoS Comput. Biol. 7(11), e1002218 (2011)","journal-title":"PLoS Comput. Biol."},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Tkachev, I., Abate, A.: On approximation metrics for linear temporal model-checking of stochastic systems. In: Hybrid Systems: Computation and Control (HSCC), pp. 193\u2013202. ACM (2014)","DOI":"10.1145\/2562059.2562118"},{"issue":"3","key":"12_CR30","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1080\/15326349408807313","volume":"10","author":"AP Moorsel van","year":"1994","unstructured":"van Moorsel, A.P., Sanders, W.H.: Adaptive uniformization. Stoch. Models 10(3), 619\u2013647 (1994)","journal-title":"Stoch. Models"},{"issue":"2","key":"12_CR31","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1504\/IJCBDD.2009.028825","volume":"2","author":"J Zhang","year":"2009","unstructured":"Zhang, J., Watson, L.T., Cao, Y.: Adaptive aggregation method for the chemical master equation. Int. J. Comput. Biol. Drug Des. 2(2), 134\u2013148 (2009)","journal-title":"Int. J. Comput. Biol. Drug Des."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21690-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T20:05:45Z","timestamp":1563825945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21690-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319216898","9783319216904"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21690-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}