{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:06:10Z","timestamp":1725545170756},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540327806"},{"type":"electronic","value":"9783540327813"}],"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\/11681960_28","type":"book-chapter","created":{"date-parts":[[2006,2,22]],"date-time":"2006-02-22T02:19:04Z","timestamp":1140574744000},"page":"283-294","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Verification of Uncertain Systems Using Bounded-Parameter Markov Decision Processes"],"prefix":"10.1007","author":[{"given":"Di","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0004-3702(00)00047-3","volume":"122","author":"R. Givan","year":"2000","unstructured":"Givan, R., Leach, S., Dean, T.: Bounded-parameter Markov decision process. Artificial Intelligence\u00a0122, 71\u2013109 (2000)","journal-title":"Artificial Intelligence"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"1399","DOI":"10.1109\/9.720497","volume":"43","author":"C. Courcoubetis","year":"1998","unstructured":"Courcoubetis, C., Yannakakis, M.: Markov decision processes and regular events. IEEE Transaction on Automatic Control\u00a043, 1399\u20131418 (1998)","journal-title":"IEEE Transaction on Automatic Control"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-48320-9_7","volume-title":"CONCUR\u201999. Concurrency Theory","author":"L. Alfaro de","year":"1999","unstructured":"de Alfaro, L.: Computing minimum and maximum reachability times in probabilistic systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 66\u201381. Springer, Heidelberg (1999)"},{"key":"28_CR4","first-page":"301","volume":"4","author":"X.D. Koutsoukos","year":"2004","unstructured":"Koutsoukos, X.D.: Optimal control of stochastic hybrid systems based on locally consistent Markov decision processes. International Journal of Hybrid Systems\u00a04, 301\u2013318 (2004)","journal-title":"International Journal of Hybrid Systems"},{"key":"28_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M.L. Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley & Sons, Inc., New York (1994)"},{"key":"28_CR6","first-page":"1095","volume":"39","author":"J.K. Satia","year":"1953","unstructured":"Satia, J.K., Lave, R.E.: Markovian decision processes with uncertain transition probabilities. Operations Research\u00a039, 1095\u20131100 (1953)","journal-title":"Operations Research"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1287\/opre.34.1.120","volume":"34","author":"C.C. White","year":"1986","unstructured":"White, C.C., Eldeib, H.K.: Parameter imprecision in finite state, finite action dynamic programs. Operations Research\u00a034, 120\u2013129 (1986)","journal-title":"Operations Research"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1287\/opre.42.4.739","volume":"43","author":"C.C. White","year":"1994","unstructured":"White, C.C., Eldeib, H.K.: Markov decision processes with imprecise transition probabilities. Operations Research\u00a043, 739\u2013749 (1994)","journal-title":"Operations Research"},{"key":"28_CR9","unstructured":"Tang, H., Liang, X., Gao, J., Liu, C.: Robust control policy for semi-Markov decision processes with dependent uncertain parameters. In: WCICA 2004: Proceedings of the Fifth World Congress on Intelligent Control and Automation (2004)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Kalyanasundaram, S., Chong, E.K.P., Shroff, N.B.: Markovian decision processes with uncertain transition rates: Sensitivity and robust control. In: CDC 2002: Proceedings of the 41th IEEE Conference on Decision and Control (2002)","DOI":"10.1109\/CDC.2002.1184956"},{"key":"28_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0007-6","volume-title":"Numerical Methods for Stochastic Control Problems in Continuous Time","author":"H.J. Kushner","year":"2001","unstructured":"Kushner, H.J., Dupuis, P.: Numerical Methods for Stochastic Control Problems in Continuous Time, 2nd edn. Springer, New York (2001)","edition":"2"},{"key":"28_CR12","unstructured":"Wu, D., Koutsoukos, X.D.: Probabilistic verification of bounded-parameter Markov decision processes. Technical Report ISIS-05-607, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, USA (2005)"},{"key":"28_CR13","first-page":"124","volume-title":"Proceedings of the 13th Annual Conference on Uncertainty in Artificial Intelligence (UAI 1997)","author":"T. Dean","year":"1997","unstructured":"Dean, T., Givan, R., Leach, S.: Model reduction techniques for computing approximately optimal solutions for Markov decision processes. In: Proceedings of the 13th Annual Conference on Uncertainty in Artificial Intelligence (UAI 1997), pp. 124\u2013131. Morgan Kaufmann Publishers, San Francisco (1997)"},{"key":"28_CR14","volume-title":"Real and Complex Analysis","author":"W. Rudin","year":"1994","unstructured":"Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1994)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Modeling Decisions for Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11681960_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T04:57:43Z","timestamp":1552366663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11681960_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540327806","9783540327813"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11681960_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}