{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T12:22:40Z","timestamp":1763727760245,"version":"3.40.3"},"publisher-location":"Cham","reference-count":71,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030549961"},{"type":"electronic","value":"9783030549978"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-54997-8_29","type":"book-chapter","created":{"date-parts":[[2020,8,10]],"date-time":"2020-08-10T20:11:50Z","timestamp":1597090310000},"page":"461-479","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Bayesian Verification of Chemical Reaction Networks"],"prefix":"10.1007","author":[{"given":"Gareth W.","family":"Molyneux","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viraj B.","family":"Wijesuriya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,11]]},"reference":[{"issue":"1","key":"29_CR1","doi-asserted-by":"crossref","first-page":"6:1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"2","key":"29_CR2","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1214\/07-AOS574","volume":"37","author":"C Andrieu","year":"2009","unstructured":"Andrieu, C., Roberts, G.O., et al.: The pseudo-marginal approach for efficient monte carlo computations. Ann. Stat. 37(2), 697\u2013725 (2009)","journal-title":"Ann. Stat."},{"issue":"3","key":"29_CR3","doi-asserted-by":"crossref","first-page":"398","DOI":"10.3166\/ejc.15.398-406","volume":"15","author":"D Angeli","year":"2009","unstructured":"Angeli, D.: A tutorial on chemical reaction network dynamics. Eur. J. Control 15(3), 398\u2013406 (2009)","journal-title":"Eur. J. Control"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269\u2013276. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61474-5_75"},{"issue":"6","key":"29_CR5","doi-asserted-by":"crossref","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.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"29_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"37","key":"29_CR7","doi-asserted-by":"crossref","first-page":"15190","DOI":"10.1073\/pnas.1017972108","volume":"108","author":"CP Barnes","year":"2011","unstructured":"Barnes, C.P., Silk, D., Sheng, X., Stumpf, M.P.: Bayesian design of synthetic biological systems. Proc. Natl. Acad. Sci. 108(37), 15190\u201315195 (2011)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"6","key":"29_CR8","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1098\/rsfs.2011.0056","volume":"1","author":"CP Barnes","year":"2011","unstructured":"Barnes, C.P., Silk, D., Stumpf, M.P.: Bayesian design strategies for synthetic biology. Interface Focus 1(6), 895\u2013908 (2011)","journal-title":"Interface Focus"},{"key":"29_CR9","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1146\/annurev-ecolsys-102209-144621","volume":"41","author":"MA Beaumont","year":"2010","unstructured":"Beaumont, M.A.: Approximate bayesian computation in evolution and ecology. Annu. Rev. Ecol. Evol. Syst. 41, 379\u2013406 (2010)","journal-title":"Annu. Rev. Ecol. Evol. Syst."},{"issue":"4","key":"29_CR10","doi-asserted-by":"crossref","first-page":"983","DOI":"10.1093\/biomet\/asp052","volume":"96","author":"MA Beaumont","year":"2009","unstructured":"Beaumont, M.A., Cornuet, J.M., Marin, J.M., Robert, C.P.: Adaptive approximate bayesian computation. Biometrika 96(4), 983\u2013990 (2009)","journal-title":"Biometrika"},{"issue":"4","key":"29_CR11","doi-asserted-by":"crossref","first-page":"2025","DOI":"10.1093\/genetics\/162.4.2025","volume":"162","author":"MA Beaumont","year":"2002","unstructured":"Beaumont, M.A., Zhang, W., Balding, D.J.: Approximate bayesian computation in population genetics. Genetics 162(4), 2025\u20132035 (2002)","journal-title":"Genetics"},{"issue":"1","key":"29_CR12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1214\/14-BA891","volume":"10","author":"FV Bonassi","year":"2015","unstructured":"Bonassi, F.V., West, M., et al.: Sequential monte carlo with adaptive weights for approximate Bayesian computation. Bayesian Anal. 10(1), 171\u2013187 (2015)","journal-title":"Bayesian Anal."},{"issue":"C","key":"29_CR13","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.ic.2016.01.004","volume":"247","author":"L Bortolussi","year":"2016","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Smoothed model checking for uncertain continuous-time Markov chains. Inf. Comput. 247(C), 235\u2013253 (2016)","journal-title":"Inf. Comput."},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-40196-1_7","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Sanguinetti, G.: Learning and designing stochastic processes from logical constraints. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 89\u2013105. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40196-1_7"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-319-89963-3_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Bortolussi","year":"2018","unstructured":"Bortolussi, L., Silvetti, S.: Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10806, pp. 396\u2013413. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89963-3_23"},{"key":"29_CR16","series-title":"Wiley Classics Library","volume-title":"Bayesian Inference in Statistical Analysis","author":"G Box","year":"1973","unstructured":"Box, G., Tiao, G.: Bayesian Inference in Statistical Analysis. Wiley Classics Library. Wiley, Hoboken (1973)"},{"issue":"2","key":"29_CR17","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s11222-007-9043-x","volume":"18","author":"RJ Boys","year":"2008","unstructured":"Boys, R.J., Wilkinson, D.J., Kirkwood, T.B.: Bayesian inference for a discretely observed stochastic kinetic model. Stat. Comput. 18(2), 125\u2013135 (2008)","journal-title":"Stat. Comput."},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-39799-8_7","volume-title":"Computer Aided Verification","author":"L Brim","year":"2013","unstructured":"Brim, L., \u010ce\u0161ka, M., Dra\u017ean, S., \u0160afr\u00e1nek, D.: Exploring parameter space of stochastic biochemical systems using quantitative model checking. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 107\u2013123. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_7"},{"key":"29_CR19","doi-asserted-by":"crossref","DOI":"10.1201\/9781315303598","volume-title":"Bayesian Inference for Stochastic Processes","author":"L Broemeling","year":"2017","unstructured":"Broemeling, L.: Bayesian Inference for Stochastic Processes. CRC Press, Boca Raton (2017)"},{"issue":"6","key":"29_CR20","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1007\/s00236-016-0265-2","volume":"54","author":"M Ceska","year":"2014","unstructured":"Ceska, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M., Brim, L.: Precise parameter synthesis for stochastic biochemical systems. Acta Inf. 54(6), 589\u2013623 (2014)","journal-title":"Acta Inf."},{"key":"29_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-662-49674-9_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M \u010ce\u0161ka","year":"2016","unstructured":"\u010ce\u0161ka, M., Pila\u0159, P., Paoletti, N., Brim, L., Kwiatkowska, M.Z.: PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 367\u2013384. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_21"},{"key":"29_CR22","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-540-88869-7_27","volume-title":"Algorithmic Bioprocesses","author":"M Cook","year":"2009","unstructured":"Cook, M., Soloveichik, D., Winfree, E., Bruck, J.: Programmability of chemical reaction networks. In: Condon, A., Harel, D., Kok, J., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses, pp. 543\u2013584. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-88869-7_27"},{"issue":"434","key":"29_CR23","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1080\/01621459.1996.10476956","volume":"91","author":"MK Cowles","year":"1996","unstructured":"Cowles, M.K., Carlin, B.P.: Markov chain monte carlo convergence diagnostics: a comparative review. J. Am. Stat. Assoc. 91(434), 883\u2013904 (1996)","journal-title":"J. Am. Stat. Assoc."},{"issue":"5","key":"29_CR24","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1007\/s11222-011-9271-y","volume":"22","author":"P Del Moral","year":"2012","unstructured":"Del Moral, P., Doucet, A., Jasra, A.: An adaptive sequential monte carlo method for approximate Bayesian computation. Stat. Comput. 22(5), 1009\u20131020 (2012)","journal-title":"Stat. Comput."},{"issue":"1","key":"29_CR25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1515\/sagmb-2012-0069","volume":"12","author":"S Filippi","year":"2013","unstructured":"Filippi, S., Barnes, C.P., Cornebise, J., Stumpf, M.P.: On optimality of kernels for approximate Bayesian computation using sequential Monte Carlo. Stat. Appl. Genet. Mol. Biol. 12(1), 87\u2013107 (2013)","journal-title":"Stat. Appl. Genet. Mol. Biol."},{"key":"29_CR26","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/j.ces.2014.10.030","volume":"123","author":"N Galagali","year":"2015","unstructured":"Galagali, N., Marzouk, Y.M.: Bayesian inference of chemical kinetic models from proposed reactions. Chem. Eng. Sci. 123, 170\u2013190 (2015)","journal-title":"Chem. Eng. Sci."},{"key":"29_CR27","volume-title":"Stochastic Methods: A Handbook for the Natural and Social Sciences","author":"C Gardiner","year":"2009","unstructured":"Gardiner, C.: Stochastic Methods: A Handbook for the Natural and Social Sciences, vol. 13, 4th edn. Springer, Heidelberg (2009)","edition":"4"},{"issue":"4","key":"29_CR28","doi-asserted-by":"crossref","first-page":"991","DOI":"10.1007\/s11222-016-9667-9","volume":"27","author":"A Georgoulas","year":"2017","unstructured":"Georgoulas, A., Hillston, J., Sanguinetti, G.: Unbiased Bayesian inference for population Markov jump processes via random truncations. Stat. Comput. 27(4), 991\u20131002 (2017)","journal-title":"Stat. Comput."},{"issue":"25","key":"29_CR29","doi-asserted-by":"crossref","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."},{"issue":"1","key":"29_CR30","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1016\/0378-4371(92)90283-V","volume":"188","author":"DT Gillespie","year":"1992","unstructured":"Gillespie, D.T.: A rigorous derivation of the chemical master equation. Phys. A 188(1), 404\u2013425 (1992)","journal-title":"Phys. A"},{"issue":"4","key":"29_CR31","doi-asserted-by":"crossref","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"DT Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. J. Chem. Phys. 115(4), 1716\u20131733 (2001)","journal-title":"J. Chem. Phys."},{"issue":"1","key":"29_CR32","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1063\/1.481811","volume":"113","author":"DT Gillespie","year":"2000","unstructured":"Gillespie, D.T.: The chemical Langevin equation. J. Chem. Phys. 113(1), 297\u2013306 (2000)","journal-title":"J. Chem. Phys."},{"issue":"3","key":"29_CR33","doi-asserted-by":"crossref","first-page":"838","DOI":"10.1089\/cmb.2006.13.838","volume":"13","author":"A Golightly","year":"2006","unstructured":"Golightly, A., Wilkinson, D.J.: Bayesian sequential inference for stochastic kinetic biochemical network models. J. Comput. Biol. 13(3), 838\u2013851 (2006)","journal-title":"J. Comput. Biol."},{"issue":"6","key":"29_CR34","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1098\/rsfs.2011.0047","volume":"1","author":"A Golightly","year":"2011","unstructured":"Golightly, A., Wilkinson, D.J.: Bayesian parameter inference for stochastic biochemical network models using particle markov chain monte carlo. Interface Focus 1(6), 807\u2013820 (2011)","journal-title":"Interface Focus"},{"issue":"2","key":"29_CR35","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1515\/sagmb-2014-0070","volume":"14","author":"A Golightly","year":"2015","unstructured":"Golightly, A., Wilkinson, D.J.: Bayesian inference for Markov jump processes with informative observations. Stat. Appl. Genet. Mol. Biol. 14(2), 169\u2013188 (2015)","journal-title":"Stat. Appl. Genet. Mol. Biol."},{"key":"29_CR36","unstructured":"Gyori, B.M., Paulin, D., Palaniappan, S.K.: Probabilistic verification of partially observable dynamical systems. arXiv preprint arXiv:1411.0976 (2014)"},{"key":"29_CR37","doi-asserted-by":"crossref","unstructured":"Haesaert, S., den Hof, P.M.J.V., Abate, A.: Data-driven and model-based verification: a Bayesian identification approach. CoRR abs\/1509.03347 (2015)","DOI":"10.1109\/CDC.2015.7403295"},{"key":"29_CR38","doi-asserted-by":"crossref","unstructured":"Han, T., Katoen, J.P., Mereacre, A.: Approximate parameter synthesis for probabilistic time-bounded reachability. In: 2008 Real-Time Systems Symposium, pp. 173\u2013182 (2008)","DOI":"10.1109\/RTSS.2008.19"},{"issue":"2","key":"29_CR39","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1137\/060666457","volume":"50","author":"DJ Higham","year":"2008","unstructured":"Higham, D.J.: Modeling and simulating chemical reactions. SIAM Rev. 50(2), 347\u2013368 (2008)","journal-title":"SIAM Rev."},{"key":"29_CR40","doi-asserted-by":"crossref","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables (1962)","DOI":"10.1080\/01621459.1963.10500830"},{"key":"29_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218\u2013234. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03845-7_15"},{"key":"29_CR42","doi-asserted-by":"crossref","unstructured":"Karlin, S., Taylor, H., Taylor, H., Taylor, H., Collection, K.M.R.: A First Course in Stochastic Processes, vol. 1. Elsevier Science, Amsterdam (1975)","DOI":"10.1016\/B978-0-08-057041-9.50005-2"},{"issue":"772","key":"29_CR43","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1098\/rspa.1927.0118","volume":"115","author":"W Kermack","year":"1927","unstructured":"Kermack, W.: A contribution to the mathematical theory of epidemics. Proc. R. Soc. Lond. A: Math. Phys. Eng. Sci. 115(772), 700\u2013721 (1927)","journal-title":"Proc. R. Soc. Lond. A: Math. Phys. Eng. Sci."},{"key":"29_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220\u2013270. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72522-0_6"},{"key":"29_CR45","unstructured":"Kwiatkowska, M., Thachuk, C.: Probabilistic model checking for biology. In: Software Safety and Security. NATO Science for Peace and Security Series - D: Information and Communication Security. IOS Press (2014)"},{"key":"29_CR46","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-57685-5_3","volume-title":"Formal System Verification","author":"M Kwiatkowska","year":"2018","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking: advances and applications. In: Drechsler, R. (ed.) Formal System Verification, pp. 73\u2013121. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-57685-5_3"},{"key":"29_CR47","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). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"29_CR48","unstructured":"Kypraios, T., Neal, P., Prangle, D.: A tutorial introduction to Bayesian inference for stochastic epidemic models using approximate Bayesian computation. Math. Biosci. 287, 42\u201353 (2017). 50th Anniversary Issue"},{"key":"29_CR49","unstructured":"Lawrence, N.D., Girolami, M., Rattray, M., Sanguinetti, G. (eds.): Learning and Inference in Computational Systems Biology. MIT Press, Cambridge; London (2010)"},{"issue":"1","key":"29_CR50","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1371\/journal.pcbi.1002888","volume":"9","author":"J Liepe","year":"2013","unstructured":"Liepe, J., Filippi, S., Komorowski, M., Stumpf, M.P.H.: Maximizing the information content of experiments in systems biology. PLoS Comput. Biol. 9(1), 1\u201313 (2013)","journal-title":"PLoS Comput. Biol."},{"key":"29_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-319-99154-2_18","volume-title":"Quantitative Evaluation of Systems","author":"D Milios","year":"2018","unstructured":"Milios, D., Sanguinetti, G., Schnoerr, D.: Probabilistic model checking for continuous-time Markov chains via sequential Bayesian inference. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 289\u2013305. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_18"},{"key":"29_CR52","series-title":"Adaptive Computation and Machine Learning Series","volume-title":"Machine Learning - A Probabilistic Perspective","author":"KP Murphy","year":"2012","unstructured":"Murphy, K.P.: Machine Learning - A Probabilistic Perspective. Adaptive Computation and Machine Learning Series. MIT Press, Cambridge (2012)"},{"issue":"3","key":"29_CR53","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1214\/aos\/1056562461","volume":"31","author":"RM Neal","year":"2003","unstructured":"Neal, R.M.: Slice sampling. Ann. Statist. 31(3), 705\u2013767 (2003)","journal-title":"Ann. Statist."},{"key":"29_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-319-43425-4_3","volume-title":"Quantitative Evaluation of Systems","author":"E Polgreen","year":"2016","unstructured":"Polgreen, E., Wijesuriya, V.B., Haesaert, S., Abate, A.: Data-efficient Bayesian verification of parametric Markov chains. In: Agha, G., Van Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 35\u201351. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-43425-4_3"},{"key":"29_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-319-66335-7_16","volume-title":"Quantitative Evaluation of Systems","author":"E Polgreen","year":"2017","unstructured":"Polgreen, E., Wijesuriya, V.B., Haesaert, S., Abate, A.: Automated experiment design for data-efficient verification of parametric Markov decision processes. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 259\u2013274. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_16"},{"issue":"1","key":"29_CR56","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1214\/16-BA1002","volume":"12","author":"D Prangle","year":"2017","unstructured":"Prangle, D., et al.: Adapting the ABC distance function. Bayesian Anal. 12(1), 289\u2013309 (2017)","journal-title":"Bayesian Anal."},{"key":"29_CR57","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-28650-9_4","volume-title":"Advanced Lectures on Machine Learning","author":"CE Rasmussen","year":"2004","unstructured":"Rasmussen, C.E.: Gaussian processes in machine learning. In: Bousquet, O., von Luxburg, U., R\u00e4tsch, G. (eds.) ML -2003. LNCS (LNAI), vol. 3176, pp. 63\u201371. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28650-9_4"},{"key":"29_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-99429-1_9","volume-title":"Computational Methods in Systems Biology","author":"J Revell","year":"2018","unstructured":"Revell, J., Zuliani, P.: Stochastic rate parameter inference using the cross-entropy method. In: \u010ce\u0161ka, M., \u0160afr\u00e1nek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 146\u2013164. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99429-1_9"},{"issue":"22","key":"29_CR59","doi-asserted-by":"crossref","first-page":"2775","DOI":"10.1093\/bioinformatics\/btl473","volume":"22","author":"G Sanguinetti","year":"2006","unstructured":"Sanguinetti, G., Lawrence, N.D., Rattray, M.: Probabilistic inference of transcription factor concentrations and gene-specific regulatory activities. Bioinformatics 22(22), 2775\u20132781 (2006)","journal-title":"Bioinformatics"},{"issue":"9","key":"29_CR60","doi-asserted-by":"crossref","first-page":"093001","DOI":"10.1088\/1751-8121\/aa54d9","volume":"50","author":"D Schnoerr","year":"2017","unstructured":"Schnoerr, D., Sanguinetti, G., Grima, R.: Approximation and inference methods for stochastic biochemical kinetics: a tutorial review. J. Phys. A: Math. Theor. 50(9), 093001 (2017)","journal-title":"J. Phys. A: Math. Theor."},{"key":"29_CR61","doi-asserted-by":"crossref","DOI":"10.1201\/9781315117195","volume-title":"Handbook of Approximate Bayesian Computation","author":"SA Sisson","year":"2018","unstructured":"Sisson, S.A., Fan, Y., Beaumont, M.: Handbook of Approximate Bayesian Computation. Chapman and Hall\/CRC, Boca Raton (2018)"},{"issue":"6","key":"29_CR62","doi-asserted-by":"crossref","first-page":"1760","DOI":"10.1073\/pnas.0607208104","volume":"104","author":"SA Sisson","year":"2007","unstructured":"Sisson, S.A., Fan, Y., Tanaka, M.M.: Sequential monte carlo without likelihoods. Proc. Natl. Acad. Sci. 104(6), 1760\u20131765 (2007)","journal-title":"Proc. Natl. Acad. Sci."},{"issue":"31","key":"29_CR63","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1098\/rsif.2008.0172","volume":"6","author":"T Toni","year":"2008","unstructured":"Toni, T., Welch, D., Strelkowa, N., Ipsen, A., Stumpf, M.P.: Approximate bayesian computation scheme for parameter inference and model selection in dynamical systems. J. R. Soc. Interface 6(31), 187\u2013202 (2008)","journal-title":"J. R. Soc. Interface"},{"issue":"1","key":"29_CR64","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1186\/1752-0509-8-20","volume":"8","author":"J Vanlier","year":"2014","unstructured":"Vanlier, J., Tiemann, C.A., Hilbers, P.A., van Riel, N.A.: Optimal experiment design for model selection in biochemical networks. BMC Syst. Biol. 8(1), 20 (2014)","journal-title":"BMC Syst. Biol."},{"issue":"151","key":"29_CR65","doi-asserted-by":"crossref","first-page":"20180943","DOI":"10.1098\/rsif.2018.0943","volume":"16","author":"DJ Warne","year":"2019","unstructured":"Warne, D.J., Baker, R.E., Simpson, M.J.: Simulation and inference algorithms for stochastic biochemical reaction networks: from basic concepts to state-of-the-art. J. R. Soc. Interface 16(151), 20180943 (2019)","journal-title":"J. R. Soc. Interface"},{"key":"29_CR66","doi-asserted-by":"crossref","unstructured":"Wilkinson, D.J.: Parameter inference for stochastic kinetic models of bacterial gene regulation: a Bayesian approach to systems biology. In: Proceedings of 9th Valencia International Meeting on Bayesian Statistics, pp. 679\u2013705 (2010)","DOI":"10.1093\/acprof:oso\/9780199694587.003.0023"},{"key":"29_CR67","unstructured":"Wilkinson, D.: Stochastic Modelling for Systems Biology, 2nd edn. Chapman & Hall\/CRC Mathematical and Computational Biology, Taylor & Francis (2011)"},{"issue":"2","key":"29_CR68","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1515\/sagmb-2013-0010","volume":"12","author":"RD Wilkinson","year":"2013","unstructured":"Wilkinson, R.D.: Approximate Bayesian computation (ABC) gives exact results under the assumption of model error. Stat. Appl. Genet. Mol. Biol. 12(2), 129\u2013141 (2013)","journal-title":"Stat. Appl. Genet. Mol. Biol."},{"issue":"6","key":"29_CR69","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1021\/acssynbio.5b00179","volume":"5","author":"ML Woods","year":"2016","unstructured":"Woods, M.L., Leon, M., Perez-Carrasco, R., Barnes, C.P.: A statistical approach reveals designs for the most robust stochastic gene oscillators. ACS Synth. Biol. 5(6), 459\u2013470 (2016)","journal-title":"ACS Synth. Biol."},{"issue":"4","key":"29_CR70","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10009-014-0343-0","volume":"17","author":"P Zuliani","year":"2015","unstructured":"Zuliani, P.: Statistical model checking for biological applications. Int. J. Softw. Tools Technol. Transfer 17(4), 527\u2013536 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"29_CR71","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/s10703-013-0195-3","volume":"43","author":"P Zuliani","year":"2013","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to Stateflow\/Simulink verification. Formal Methods Syst. Des. 43, 338\u2013367 (2013)","journal-title":"Formal Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54997-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T12:11:45Z","timestamp":1667736705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54997-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549961","9783030549978"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54997-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","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":"129","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":"44","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":"7","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":"34% - 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":"4","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,5","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}