{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:58:53Z","timestamp":1743069533682,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395180"},{"type":"electronic","value":"9783319395197"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_16","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"262-277","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Dynamical Probabilities, or: How to Learn to Shoot Straight"],"prefix":"10.1007","author":[{"given":"Herbert","family":"Wiklicky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"16_CR1","volume-title":"Simulated Annealing and Boltzmann Machines","author":"E Aarts","year":"1989","unstructured":"Aarts, E., Korst, J.: Simulated Annealing and Boltzmann Machines. Wiley, Chichester (1989)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Continuous-time probabilistic KLAIM. In: SecCo 2004, ENTCS. Elsevier (2004)","DOI":"10.1007\/978-3-540-24634-3_11"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-540-24634-3_11","volume-title":"Coordination Models and Languages","author":"A Di Pierro","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic KLAIM. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 119\u2013134. Springer, Heidelberg (2004)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-76637-7_23","volume-title":"Programming Languages and Systems","author":"A Di Pierro","year":"2007","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: A systematic approach to probabilistic pointer analysis. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 335\u2013350. Springer, Heidelberg (2007)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13678-8_1","volume-title":"Formal Methods for Quantitative Aspects of Programming Languages","author":"A Di Pierro","year":"2010","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Probabilistic semantics and program analysis. In: Aldini, A., Bernardo, M., Pierro, A., Wiklicky, H. (eds.) SFM 2010. LNCS, vol. 6154, pp. 1\u201342. Springer, Heidelberg (2010)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Di Pierro, A., Sotin, P., Wiklicky, H.: Relational analysis and precision via probabilistic abstract interpretation. In: Proceedings of QAPL 2008. ENTCS, vol. 220, no. 3, pp. 23\u201342. Elsevier (2008)","DOI":"10.1016\/j.entcs.2008.11.017"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-03542-0_18","volume-title":"Programming Languages and Systems","author":"A Di Pierro","year":"2013","unstructured":"Di Pierro, A., Wiklicky, H.: Semantics of probabilistic programs: a weak limit approach. In: Shan, C. (ed.) APLAS 2013. LNCS, vol. 8301, pp. 241\u2013256. Springer, Heidelberg (2013)"},{"key":"16_CR8","unstructured":"Eaton, J.W., Bateman, D., Hauberg, S.: GNU Octave - a high-level interactive language for numerical computations, 3rd edn. version 3.8.0, February 2011"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Gretz, F., Katoen, J.P., McIver, A.: Operational versus weakest precondition semantics for the probabilistic guarded command language. In: Proceedings of QEST 2012, pp. 168\u2013177. IEEE Computer Society (2012)","DOI":"10.1109\/QEST.2012.21"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.peva.2013.11.004","volume":"73","author":"F Gretz","year":"2014","unstructured":"Gretz, F., Katoen, J.P., McIver, A.: Operational versus weakest pre-expectation semantics for the probabilistic guarded command language. Perform. Eval. 73, 110\u2013132 (2014)","journal-title":"Perform. Eval."},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","volume":"22","author":"D Kozen","year":"1981","unstructured":"Kozen, D.: Semantics of probabilistic programs. J. Comput. Syst. Sci. 22(3), 328\u2013350 (1981)","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR12","series-title":"Mongraphs in Computer Science","volume-title":"Abstraction, Refinement and Proof for Probabilistic Systems","author":"A McIver","year":"2005","unstructured":"McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. Mongraphs in Computer Science. Springer, New York (2005)"},{"key":"16_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814075","volume-title":"Randomized Algorithms","author":"R Motwani","year":"1995","unstructured":"Motwani, R., Raghavan, P.: Randomized Algorithms. Cambridge University Press, Cambridge, England (1995)"},{"key":"16_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"16_CR15","volume-title":"Markov Chains. Cambidge Series in Statistical and Probabilistic Mathematics","author":"J Norris","year":"1997","unstructured":"Norris, J.: Markov Chains. Cambidge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge (1997)"},{"key":"16_CR16","volume-title":"Advanced Linear Algebra","author":"S Roman","year":"2005","unstructured":"Roman, S.: Advanced Linear Algebra, 2nd edn. Springer, New York (2005)","edition":"2"},{"key":"16_CR17","volume-title":"Stochastic Optimization","author":"JJ Schneider","year":"2006","unstructured":"Schneider, J.J., Kirkpatrick, S.: Stochastic Optimization. Springer, Heidelberg (2006)"},{"key":"16_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-32792-4","volume-title":"Non-negative Matrices and Markov Chains","author":"E Seneta","year":"1981","unstructured":"Seneta, E.: Non-negative Matrices and Markov Chains. Springer, New York (1981)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF01888233","volume":"2","author":"M Stannett","year":"1990","unstructured":"Stannett, M.: X-machines and the halting problem: building a super-turing machine. Formal Aspects Comput. 2, 331\u2013341 (1990)","journal-title":"Formal Aspects Comput."},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Woess, W.: Denumerable Markov Chains. EMS (2009)","DOI":"10.4171\/071"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:08:42Z","timestamp":1590192522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}