{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:55Z","timestamp":1725791035753},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548291"},{"type":"electronic","value":"9783642548307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54830-7_5","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:30:31Z","timestamp":1395394231000},"page":"73-87","source":"Crossref","is-referenced-by-count":6,"title":["Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes"],"prefix":"10.1007","author":[{"given":"Hongfei","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Reachability in continuous-time Markov reward decision processes. In: Flum, J., Gr\u00e4del, E., Wilke, T. (eds.) Logic and Automata. Texts in Logic and Games, vol.\u00a02, pp. 53\u201372. Amsterdam University Press (2008)"},{"issue":"9","key":"5_CR2","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/1810891.1810912","volume":"53","author":"C. Baier","year":"2010","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Performance evaluation and model checking join forces. Commun. ACM\u00a053(9), 76\u201385 (2010)","journal-title":"Commun. ACM"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.ic.2013.01.001","volume":"224","author":"T. Br\u00e1zdil","year":"2013","unstructured":"Br\u00e1zdil, T., Forejt, V., Krc\u00e1l, J., Kret\u00ednsk\u00fd, J., Ku\u010dera, A.: Continuous-time stochastic games with time-bounded reachability. Inf. Comput.\u00a0224, 46\u201370 (2013)","journal-title":"Inf. Comput."},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1016\/j.cor.2010.08.011","volume":"38","author":"P. Buchholz","year":"2011","unstructured":"Buchholz, P., Schulz, I.: Numerical analysis of continuous time Markov decision processes over finite horizons. Computers & OR\u00a038(3), 651\u2013659 (2011)","journal-title":"Computers & OR"},{"key":"5_CR5","unstructured":"Fearnley, J., Rabe, M., Schewe, S., Zhang, L.: Efficient approximation of optimal control for continuous-time Markov games. In: Chakraborty, S., Kumar, A. (eds.) FSTTCS. LIPIcs, vol.\u00a013, pp. 399\u2013410. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcer Informatik (2011)"},{"key":"5_CR6","volume-title":"An Introduction to Probability Theory and Its Applications","author":"W. Feller","year":"1966","unstructured":"Feller, W.: An Introduction to Probability Theory and Its Applications. John Wiley & Sons, New York (1966)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Fu, H.: Maximal cost-bounded reachability probability on continuous-time Markov decision processes. CoRR abs\/1310.2514 (2013)","DOI":"10.1007\/978-3-642-54830-7_5"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-40213-5_16","volume-title":"Fundamentals of Software Engineering","author":"H. Hatefi","year":"2013","unstructured":"Hatefi, H., Hermanns, H.: Improving time bounded reachability computations in interactive Markov chains. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol.\u00a08161, pp. 250\u2013266. Springer, Heidelberg (2013)"},{"key":"5_CR9","unstructured":"Neuh\u00e4u\u00dfer, M.R.: Model checking nondeterministic and randomly timed systems. Ph.D. thesis, RWTH Aachen (2010)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-00596-1_26","volume-title":"Foundations of Software Science and Computational Structures","author":"M.R. Neuh\u00e4u\u00dfer","year":"2009","unstructured":"Neuh\u00e4u\u00dfer, M.R., Stoelinga, M., Katoen, J.-P.: Delayed nondeterminism in continuous-time Markov decision processes. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 364\u2013379. Springer, Heidelberg (2009)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Neuh\u00e4u\u00dfer, M.R., Zhang, L.: Time-bounded reachability probabilities in continuous-time Markov decision processes. In: QEST, pp. 209\u2013218. IEEE Computer Society (2010)","DOI":"10.1109\/QEST.2010.47"},{"key":"5_CR12","doi-asserted-by":"crossref","DOI":"10.1142\/p829","volume-title":"Selected Topics on Continuous-Time Controlled Markov Chains and Markov Games","author":"T. Prieto-Rumeau","year":"2012","unstructured":"Prieto-Rumeau, T., Hern\u00e1ndez-Lerma, O.: Selected Topics on Continuous-Time Controlled Markov Chains and Markov Games. Imperial College Press, London (2012)"},{"key":"5_CR13","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, 1st edn. John Wiley & Sons, Inc., New York (1994)","edition":"1"},{"issue":"5-6","key":"5_CR14","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s00236-011-0140-0","volume":"48","author":"M.N. Rabe","year":"2011","unstructured":"Rabe, M.N., Schewe, S.: Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Acta Inf.\u00a048(5-6), 291\u2013315 (2011)","journal-title":"Acta Inf."},{"key":"5_CR15","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons, Inc., New York (1986)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/11867340_25","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"N. Wolovick","year":"2006","unstructured":"Wolovick, N., Johr, S.: A characterization of meaningful schedulers for continuous-time Markov decision processes. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 352\u2013367. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54830-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T08:00:37Z","timestamp":1558857637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54830-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548291","9783642548307"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54830-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}