{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:40:59Z","timestamp":1780116059179,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540331025","type":"print"},{"value":"9783540331032","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11691617_5","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:14:13Z","timestamp":1143555253000},"page":"71-88","source":"Crossref","is-referenced-by-count":46,"title":["Don\u2019t Know in Probabilistic Systems"],"prefix":"10.1007","author":[{"given":"Harald","family":"Fecher","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Verena","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Baier, C.: On the algorithmic verification of probabilistic systems. Universit\u00e4t Mannheim, Habilitation Thesis (1998)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/990010.990011","volume":"12","author":"M. Chechik","year":"2003","unstructured":"Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-valued symbolic model-checking. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a012, 371\u2013408 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"5_CR3","first-page":"342","volume-title":"Proc. of POPL","author":"E. Clarke","year":"1992","unstructured":"Clarke, E., Grumberg, O., Long, D.: Model Checking and Abstraction. In: Proc. of POPL, January 1992, pp. 342\u2013354. ACM, New York (1992)"},{"key":"5_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"4","key":"5_CR5","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C. Courcoubetis","year":"1995","unstructured":"Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. Journal of the ACM\u00a042(4), 857\u2013907 (1995)","journal-title":"Journal of the ACM"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45605-8_5","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"P. D\u2019Argenio","year":"2002","unstructured":"D\u2019Argenio, P., Jeannet, B., Jensen, H., Larsen, K.: Reduction and refinement strategies for probabilistic analysis. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 57\u201376. Springer, Heidelberg (2002)"},{"key":"5_CR7","unstructured":"de Alfaro, L.: Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, Technical report STAN-CS-TR-98-1601 (1997)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/3-540-36384-X_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"P. Godefroid","year":"2002","unstructured":"Godefroid, P., Jagadeesan, R.: On the expressiveness of 3-valued models. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 206\u2013222. Springer, Heidelberg (2002)"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-30579-8_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"O. Grumberg","year":"2005","unstructured":"Grumberg, O., Lange, M., Leucker, M., Shoham, S.: Don\u2019t know in the \u03bc-calculus. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 233\u2013249. Springer, Heidelberg (2005)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06, 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR11","unstructured":"Huth, M.: On finite-state approximants for probabilistic computation tree logic. Theoretical Computer Science (to appear)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Huth, M.: An abstraction framework for mixed non-deterministic and probabilistic systems. In: Validation of Stochastic Systems, pp. 419\u2013444 (2004)","DOI":"10.1007\/978-3-540-24611-4_12"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-45309-1_11","volume-title":"Programming Languages and Systems","author":"M. Huth","year":"2001","unstructured":"Huth, M., Jagadeesan, R., Schmidt, D.: Modal transition systems: A foundation for three-valued program analysis. In: Sands, D. (ed.) ESOP 2001. LNCS, vol.\u00a02028, pp. 155\u2013169. Springer, Heidelberg (2001)"},{"key":"5_CR14","unstructured":"Huth, M.: Abstraction and probabilities for hybrid logics. In: Qualitative Aspects of Programming Languages (2004)"},{"key":"5_CR15","unstructured":"Jonsson, B., Larsen, K.: Specification and refinement of probabilistic processes. In: Proc. 6th IEEE Int. Symp. on Logic in Computer Science (1991)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-7908-1769-0_8","volume-title":"Beyond two: theory and applications of multiple-valued logic","author":"B. Konikowska","year":"2003","unstructured":"Konikowska, B., Penczek, W.: Model checking for multi-valued computation tree logics. In: Beyond two: theory and applications of multiple-valued logic, pp. 193\u2013210. Physica-Verlag, Heidelberg (2003)"},{"issue":"1\u20134","key":"5_CR17","first-page":"221","volume":"60","author":"B. Konikowska","year":"2004","unstructured":"Konikowska, B., Penczek, W.: On designated values in multi-valued CTL\u2009\u2217\u2009 model checking. Fundamenta Informaticae\u00a060(1\u20134), 221\u2013224 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-45069-6_28","volume-title":"Computer Aided Verification","author":"S. Shoham","year":"2003","unstructured":"Shoham, S., Grumberg, O.: A game-based framework for CTL counterexamplesand 3-valued abstraction-refinemnet. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 275\u2013287. Springer, Heidelberg (2003)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R., Smolka, S., Steffen, B., Tofts, C.: Reactive, generative, and stratified models of probabilistic processes. In: Logic in Computer Science, pp. 130\u2013141 (1990)","DOI":"10.1109\/LICS.1990.113740"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58468-4_190","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"W. Yi","year":"1994","unstructured":"Yi, W.: Reasoning about uncertain information compositionally. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol.\u00a0863, Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691617_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T04:53:23Z","timestamp":1736312003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691617_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331025","9783540331032"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11691617_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}