{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:15Z","timestamp":1760202675932},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319108841"},{"type":"electronic","value":"9783319108858"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10885-8_16","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T07:55:41Z","timestamp":1409558141000},"page":"224-239","source":"Crossref","is-referenced-by-count":7,"title":["Stochastic Approximation of Global Reachability Probabilities of Markov Population Models"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberta","family":"Lanciani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.jcp.2005.05.008","volume":"211","author":"R. Abramov","year":"2006","unstructured":"Abramov, R.: A practical computational framework for the multidimensional moment-constrained maximum entropy principle. Journal of Computational Physics\u00a0211(1), 198\u2013209 (2006)","journal-title":"Journal of Computational Physics"},{"key":"16_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1158-7","volume-title":"Stochastic epidemic models and their statistical analysis","author":"H. Andersson","year":"2000","unstructured":"Andersson, H., Britton, T.: Stochastic epidemic models and their statistical analysis, vol.\u00a0151. Springer, New York (2000)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Boudewijn, H., Hermanns, H., Katoen, J.P.: Model checking continuous-time Markov chains by transient analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)","key":"16_CR4"},{"unstructured":"Bortolussi, L.: Hybrid behaviour of Markov population models. CoRR, abs\/1211.1643 (2012)","key":"16_CR5"},{"key":"16_CR6","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.\u00a07454, pp. 333\u2013347. Springer, Heidelberg (2012)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-642-38874-3_4","volume-title":"Formal Methods for Dynamical Systems","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J.: Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol.\u00a07938, pp. 113\u2013149. Springer, Heidelberg (2013)"},{"issue":"5","key":"16_CR8","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Performance Evaluation\u00a070(5), 317\u2013349 (2013)","journal-title":"Performance Evaluation"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-40196-1_9","volume-title":"Quantitative Evaluation of Systems","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Lanciani, R.: Model checking markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol.\u00a08054, pp. 123\u2013138. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Bujorianu, L.M.: Stochastic Reachability Analysis of Hybrid Systems. In: Communications and Control Engineering. Springer (2012)","key":"16_CR10","DOI":"10.1007\/978-1-4471-2795-6"},{"unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence. Wiley (2005)","key":"16_CR11"},{"unstructured":"Fricker, C., Gast, N.: Incentives and redistribution in homogeneous bike-sharing systems with stations of finite capacity. EURO Journal on Transportation and Logistics, 1\u201331 (2012)","key":"16_CR12"},{"doi-asserted-by":"crossref","unstructured":"Grima, R.: An effective rate equation approach to reaction kinetics in small volumes: Theory and application to biochemical reactions in nonequilibrium steady-state conditions. The Journal of Chemical Physics\u00a0133(3), 035101 (2010)","key":"16_CR13","DOI":"10.1063\/1.3454685"},{"doi-asserted-by":"crossref","unstructured":"Hayden, R.A.: Mean field for performance models with deterministically-timed transitions. In: Proceedings of QEST 2012, pp. 63\u201373 (2012)","key":"16_CR14","DOI":"10.1109\/QEST.2012.27"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/TSE.2012.1","volume":"39","author":"R.A. Hayden","year":"2013","unstructured":"Hayden, R.A., Bradley, J.T., Clark, A.: Performance specification and evaluation with unified stochastic probes and fluid analysis. IEEE Trans. Software Eng.\u00a039(1), 97\u2013118 (2013)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.tcs.2011.07.017","volume":"413","author":"R.A. Hayden","year":"2012","unstructured":"Hayden, R.A., Stefanek, A., Bradley, J.T.: Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci.\u00a0413(1), 106\u2013141 (2012)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Katoen, J.P., Khattri, M., Zapreevt, I.S.: A Markov reward model checker. In: Proceedings of QEST 2005, pp. 243\u2013244 (2005)","key":"16_CR17","DOI":"10.1109\/QEST.2005.2"},{"key":"16_CR18","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.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Norris, J.R.: Markov Chains. Cambridge University Press (1997)","key":"16_CR19","DOI":"10.1017\/CBO9780511810633"},{"doi-asserted-by":"crossref","unstructured":"Qiu, D., Srikant, R.: Modeling and performance analysis of BitTorrent-like peer-to-peer networks. In: Proceedings of ACM SIGCOMM 2004, pp. 367\u2013378 (2004)","key":"16_CR20","DOI":"10.1145\/1015467.1015508"},{"unstructured":"Stamatiou, Y.C., Spirakis, P.G., Komninos, T., Vavitsas, G.: Computer Network Epidemics: Models and Techniques for Invasion and Defense. CRC Press (2012)","key":"16_CR21"},{"unstructured":"Van Kampen, N.G.: Stochastic Processes in Physics and Chemistry. Elsevier (1992)","key":"16_CR22"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10885-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:54:25Z","timestamp":1558968865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10885-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319108841","9783319108858"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10885-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}