{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T23:35:24Z","timestamp":1770766524778,"version":"3.50.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642401954","type":"print"},{"value":"9783642401961","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40196-1_7","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:54:56Z","timestamp":1374530096000},"page":"89-105","source":"Crossref","is-referenced-by-count":27,"title":["Learning and Designing Stochastic Processes from Logical Constraints"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sanguinetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM\u00a043(1), 116\u2013146 (1996)","journal-title":"J. ACM"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. Springer (2000)","DOI":"10.1007\/978-1-4612-1158-7"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Andreychenko, A., Mikeev, L., Spieler, D., Wolf, V.: Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP Journal on Bioinf. and Sys. Bio.\u00a09 (2012)","DOI":"10.1186\/1687-4153-2012-9"},{"issue":"6","key":"7_CR4","first-page":"524","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model checking continuous-time Markov chains by transient analysis. IEEE TSE\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE TSE"},{"issue":"37","key":"7_CR5","doi-asserted-by":"publisher","first-page":"15190","DOI":"10.1073\/pnas.1017972108","volume":"108","author":"C.P. Barnes","year":"2011","unstructured":"Barnes, C.P., Silk, D., Sheng, X., Stumpf, M.P.: Bayesian design of synthetic biological systems. PNAS USA\u00a0108(37), 15190\u201315195 (2011)","journal-title":"PNAS USA"},{"key":"7_CR6","unstructured":"Bishop, C.M.: Pattern Recognition and Machine Learning. Springer (2006)"},{"issue":"6","key":"7_CR7","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1016\/j.jcss.2007.07.005","volume":"74","author":"J.T. Bradley","year":"2008","unstructured":"Bradley, J.T., Gilmore, S.T., Hillston, J.: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci.\u00a074(6), 1013\u20131032 (2008)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-24310-3_4","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T. Chen","year":"2011","unstructured":"Chen, T., Diciolla, M., Kwiatkowska, M.Z., Mereacre, A.: Time-bounded verification of CTMCs against real-time specifications. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol.\u00a06919, pp. 26\u201342. Springer, Heidelberg (2011)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Cover, T., Thomas, J.: Elements of Information Theory, 2nd edn. Wiley (2006)","DOI":"10.1002\/047174882X"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Durrett, R.: Essentials of stochastic processes. Springer (2012)","DOI":"10.1007\/978-1-4614-3615-7"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry\u00a081(25) (1977)","DOI":"10.1021\/j100540a008"},{"key":"7_CR12","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":"S.K. 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.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"issue":"21","key":"7_CR13","doi-asserted-by":"publisher","first-page":"2162","DOI":"10.1016\/j.tcs.2011.01.012","volume":"412","author":"S.K. Jha","year":"2011","unstructured":"Jha, S.K., Langmead, C.J.: Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theor. Comp. Sc.\u00a0412(21), 2162\u20132187 (2011)","journal-title":"Theor. Comp. Sc."},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1111\/1467-9868.00294","volume":"63","author":"M. Kennedy","year":"2001","unstructured":"Kennedy, M., O\u2019Hagan, A.: Bayesian calibration of computer models. Journal of the Royal Stat. Soc. Ser. B\u00a063(3), 425\u2013464 (2001)","journal-title":"Journal of the Royal Stat. Soc. Ser. B"},{"issue":"2","key":"7_CR15","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"M. Kwiatkowska","year":"2004","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. Int. Jour. on Softw. Tools for Tech. Transf.\u00a06(2), 128\u2013142 (2004)","journal-title":"Int. Jour. on Softw. Tools for Tech. Transf."},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O. Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT 2004. LNCS, vol.\u00a03253, pp. 152\u2013166. Springer, Heidelberg (2004)"},{"key":"7_CR17","unstructured":"Opper, M., Sanguinetti, G.: Variational inference for Markov jump processes. In: Proc. of NIPS (2007)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Rasmussen, C.E., Williams, C.K.I.: Gaussian Processes for Machine Learning. MIT Press (2006)","DOI":"10.7551\/mitpress\/3206.001.0001"},{"issue":"3","key":"7_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1073\/pnas.1215251110","volume":"110","author":"P.A. Romero","year":"2013","unstructured":"Romero, P.A., Krause, A., Arnold, F.H.: Navigating the protein fitness landscape with Gaussian processes. PNAS USA\u00a0110(3), E193\u2013E201 (2013)","journal-title":"PNAS USA"},{"issue":"5","key":"7_CR20","doi-asserted-by":"publisher","first-page":"3250","DOI":"10.1109\/TIT.2011.2182033","volume":"58","author":"N. Srinivas","year":"2012","unstructured":"Srinivas, N., Krause, A., Kakade, S., Seeger, M.: Information-theoretic regret bounds for Gaussian process optimisation in the bandit setting. IEEE Trans. Inf. Th.\u00a058(5), 3250\u20133265 (2012)","journal-title":"IEEE Trans. Inf. Th."},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Vezhnevets, A., Ferrari, V., Buhmann, J.: Weakly supervised structured output learning for semantic segmentation. In: Comp. Vision and Pattern Recog. (2012)","DOI":"10.1109\/CVPR.2012.6247757"},{"issue":"9","key":"7_CR22","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"H.L.S. Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput.\u00a0204(9), 1368\u20131409 (2006)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40196-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:46:46Z","timestamp":1557960406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40196-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401954","9783642401961"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40196-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}