{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:34Z","timestamp":1740099094162,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319991535"},{"type":"electronic","value":"9783319991542"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99154-2_5","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:14:35Z","timestamp":1534256075000},"page":"71-86","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Verification of Weighted Kripke Structures Under Uncertainty"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Bacci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikkel","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-662-48057-1_7","volume-title":"Mathematical Foundations of Computer Science 2015","author":"G Avni","year":"2015","unstructured":"Avni, G., Kupferman, O.: Stochastization of weighted automata. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 89\u2013102. Springer, Heidelberg (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-662-48057-1_7"},{"key":"5_CR2","unstructured":"Bacci, G., Hansen, M., Larsen, K.G.: On the verification of weighted Kripke structures under uncertainty. Full version, Aalborg University (2018). \nhttp:\/\/people.cs.aau.dk\/~giovbacci\/papers\/uncertwks-full.pdf"},{"key":"5_CR3","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press, Cambridge (2008)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-04081-8_17","volume-title":"CONCUR 2009 - Concurrency Theory","author":"K Chatterjee","year":"2009","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.A.: Probabilistic weighted automata. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 244\u2013258. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-04081-8_17"},{"key":"5_CR5","unstructured":"Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J.T., Larsen, K.G., Mardare, R.: Parametric verification of weighted systems. In: 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom, pp. 77\u201390 (2015)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-319-57861-3_10","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"AE Dalsgaard","year":"2017","unstructured":"Dalsgaard, A.E., et al.: Extended dependency graphs and efficient distributed fixed-point computation. In: van der Aalst, W., Best, E. (eds.) PETRI NETS 2017. LNCS, vol. 10258, pp. 139\u2013158. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-57861-3_10"},{"key":"5_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5","volume-title":"Handbook of Weighted Automata","year":"2009","unstructured":"Droste, M., Kuich, W., Vogler, H. (eds.): Handbook of Weighted Automata, 1st edn. Springer Publishing Company, Incorporated, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-01492-5","edition":"1"},{"key":"5_CR8","first-page":"1311","volume":"29","author":"U Fahrenberg","year":"2010","unstructured":"Fahrenberg, U., Larsen, K.G., Thrane, C.: A quantitative characterization of weighted Kripke structures in temporal logic. Comput. Inf. 29, 1311\u20131324 (2010)","journal-title":"Comput. Inf."},{"issue":"4","key":"5_CR9","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/s10009-014-0359-5","volume":"18","author":"JF Jensen","year":"2016","unstructured":"Jensen, J.F., Larsen, K.G., Srba, J., Oestergaard, L.K.: Efficient model-checking of weighted CTL with upper-bound constraints. STTT 18(4), 409\u2013426 (2016)","journal-title":"STTT"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02869535","volume":"18","author":"N Singh Kambo","year":"1966","unstructured":"Singh Kambo, N., Kotz, S.: On exponential bounds for binomial probabilities. Ann. Inst. Stat. Math. 18(1), 277 (1966)","journal-title":"Ann. Inst. Stat. Math."},{"key":"5_CR11","unstructured":"Liu, X., Smolka, S.A.: Simple linear-time algorithms for minimal fixed points (extended abstract). In: Proceedings of the Automata, Languages and Programming, 25th International Colloquium, ICALP 1998, Aalborg, Denmark, July 13-17, 1998, pp. 53\u201366 (1998)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-14295-6_51","volume-title":"Computer Aided Verification","author":"D Monniaux","year":"2010","unstructured":"Monniaux, D.: Quantifier elimination by Lazy model enumeration. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 585\u2013599. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14295-6_51"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02883985","volume":"10","author":"M Okamoto","year":"1959","unstructured":"Okamoto, M.: Some inequalities relating to the partial sum of binomial probabilities. Ann. Inst. Stat. Math. 10(1), 29\u201335 (1959)","journal-title":"Ann. Inst. Stat. Math."},{"key":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139344203","volume-title":"Bayesian Filtering and Smoothing","author":"S Srkk","year":"2013","unstructured":"Srkk, S.: Bayesian Filtering and Smoothing. Cambridge University Press, New York (2013)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: 26th Annual Symposium on Foundations of Computer Science, Portland, Oregon, USA, 21\u201323 October 1985, pp. 327\u2013338. IEEE Computer Society (1985)","DOI":"10.1109\/SFCS.1985.12"},{"key":"5_CR16","unstructured":"Wolfram Research, Inc., Mathematica, Version 11.2. Champaign, IL (2017)"}],"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-319-99154-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T14:16:54Z","timestamp":1534256214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99154-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319991535","9783319991542"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99154-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}