{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T18:12:19Z","timestamp":1791137539915,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540330561","type":"print"},{"value":"9783540330578","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\/11691372_26","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T09:22:26Z","timestamp":1143537746000},"page":"394-410","source":"Crossref","is-referenced-by-count":67,"title":["Model-Checking Markov Chains in the Presence of Uncertainties"],"prefix":"10.1007","author":[{"given":"Koushik","family":"Sen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gul","family":"Agha","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-60045-0_48","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1995","unstructured":"Aziz, A., Singhal, V., Brayton, R.K., Sangiovanni-Vincentelli, A.L.: It usually works: The temporal logic of stochastic systems. In: Wolper, P. (ed.) CAV 1995, vol.\u00a0939, pp. 155\u2013165. Springer, Heidelberg (1995)"},{"key":"26_CR2","unstructured":"Baier, C.: On algorithmic verification methods for probabilistic systems. Habilitation Thesis. Fakult\u00e4t f\u2019\u00fcr Mathematik and Informatik, Universit\u00e4t Mannheim (1998)"},{"issue":"3","key":"26_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s004460050046","volume":"11","author":"C. Baier","year":"1998","unstructured":"Baier, C., Kwiatkowska, M.Z.: Model checking for a probabilistic branching time logic with fairness. Distributed Computing\u00a011(3), 125\u2013155 (1998)","journal-title":"Distributed Computing"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A. Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol.\u00a01026, p. 515. Springer, Heidelberg (1995)"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over real numbers: NP-completeness, recursive functions and universal machines. Bulletin of the American Mathematical Society\u00a021, 1\u201346 (1989)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Canny, J.: Some algebraic and geometric computations in PSPACE. In: 20th ACM Symposium on Theory of Computing (STOC 1988), pp. 460\u2013467 (1988)","DOI":"10.1145\/62212.62257"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Courcoubetis, C., Yannakakis, M.: Markov decision processes and regular events. In: Proceedings of the seventeenth international colloquium on Automata, languages and programming, pp. 336\u2013349 (1990)","DOI":"10.1007\/BFb0032043"},{"issue":"4","key":"26_CR8","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 ACM\u00a042(4), 857\u2013907 (1995)","journal-title":"Journal of ACM"},{"issue":"1","key":"26_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1023\/A:1011224403708","volume":"19","author":"M. Fukuda","year":"2001","unstructured":"Fukuda, M., Kojima, M.: Branch-and-cut algorithms for the bilinear matrix inequality eigenvalue problem. Comput. Optim. Appl.\u00a019(1), 79\u2013105 (2001)","journal-title":"Comput. Optim. Appl."},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF01099648","volume":"7","author":"K.C. Goh","year":"1995","unstructured":"Goh, K.C., Safonov, M.G., Papavassilopoulos, G.P.: Global optimization for the biaffine matrix inequality problem. Journal of Global Optimization\u00a07, 365\u2013380 (1995)","journal-title":"Journal of Global Optimization"},{"issue":"5","key":"26_CR11","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(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: Proceedings of the IEEE Symposium on Logic in Computer Science, pp. 266\u2013277 (1991)","DOI":"10.1109\/LICS.1991.151651"},{"key":"26_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9455-6","volume-title":"Denumerable Markov chains","author":"J. Kemeny","year":"1976","unstructured":"Kemeny, J., Snell, J., Knapp, A.: Denumerable Markov chains. Springer, Heidelberg (1976)"},{"issue":"2","key":"26_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1014745904458","volume":"8","author":"I.O. Kozine","year":"2002","unstructured":"Kozine, I.O., Utkin, L.V.: Interval-valued finite markov chains. Reliable Computing\u00a08(2), 97\u2013113 (2002)","journal-title":"Reliable Computing"},{"key":"26_CR15","unstructured":"Kuznetsov, V.P.: Interval statistical models. Radio and Communication (1991)"},{"key":"26_CR16","unstructured":"PENbmi, http:\/\/www.penopt.com\/"},{"key":"26_CR17","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov decision processes: discrete stochastic dynamic programming","author":"M. Puterman","year":"1994","unstructured":"Puterman, M.: Markov decision processes: discrete stochastic dynamic programming. Wiley, New York (1994)"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Renegar, J.: A faster pspace algorithm for deciding the existential theory of the reals. In: 29th Annual IEEE Symposium on Foundations of Computer Science, pp. 291\u2013295 (1988)","DOI":"10.1109\/SFCS.1988.21945"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Rutten, J., Kwiatkowska, M., Norman, G., Parker, D.: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems. CRM Monograph Series, vol.\u00a023. American Mathematical Society (2004)","DOI":"10.1090\/crmm\/023"},{"key":"26_CR20","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis. MIT, Cambridge (1995)"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-540-48654-1_35","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R. Segala","year":"1994","unstructured":"Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994, vol.\u00a0836, pp. 481\u2013496. Springer, Heidelberg (1994)"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 202\u2013215. Springer, Heidelberg (2004)"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Model-checking markov chains in the presence of uncertainties. Technical Report UIUCDCS-R-2006-2677, UIUC (2006)","DOI":"10.1007\/11691372_26"},{"key":"26_CR24","unstructured":"Toker, O., Oz\u0308bay, H.: On the NP-hardness of solving bilinear matrix in equalities and simultaneous stabilization with static output feedback. In: Proc. of American Control Conference (1995)"},{"key":"26_CR25","first-page":"327","volume-title":"26th Annual Symposium on Foundations of Computer Science","author":"M.Y. Vardi","year":"1985","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: 26th Annual Symposium on Foundations of Computer Science, pp. 327\u2013338. IEEE, Los Alamitos (1985)"},{"key":"26_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(95)00009-7","volume":"83","author":"P. Walley","year":"1996","unstructured":"Walley, P.: Measures of uncertainty in expert systems. Artificial Intelligence\u00a083, 1\u201358 (1996)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691372_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T13:19:30Z","timestamp":1555507170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691372_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330561","9783540330578"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11691372_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}