{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:15:55Z","timestamp":1762298155213},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117362"},{"type":"electronic","value":"9783319117379"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11737-9_12","type":"book-chapter","created":{"date-parts":[[2014,10,15]],"date-time":"2014-10-15T00:52:14Z","timestamp":1413334334000},"page":"171-186","source":"Crossref","is-referenced-by-count":7,"title":["SCC-Based Improved Reachability Analysis for Markov Decision Processes"],"prefix":"10.1007","author":[{"given":"Lin","family":"Gui","sequence":"first","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Songzheng","family":"Song","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"http:\/\/www.comp.nus.edu.sg\/~pat\/rel\/mdpcut"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Abrah\u00e1m, E., Jansen, N., Wimmer, R., Katoen, J., Becker, B.: DTMC model checking by SCC reduction. In: QEST, pp. 37\u201346. IEEE (2010)","DOI":"10.1109\/QEST.2010.13"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s, M.E., D\u2019Argenio, P.R., Rossum, P.V.: Significant diagnostic counterexamples in probabilistic model checking. In: HCV, pp. 129\u2013148 (2008)","DOI":"10.1007\/978-3-642-01702-5_15"},{"key":"12_CR4","unstructured":"Baier, C., Katoen, J.: Principles of model checking. The MIT Press (2008)"},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/358315.358392","volume":"25","author":"J.L. Bentley","year":"1982","unstructured":"Bentley, J.L., Preparata, F.P., Faust, M.G.: Approximation algorithms for convex hulls. Communications of the ACM\u00a025(1), 64\u201368 (1982)","journal-title":"Communications of the ACM"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-45694-5_25","volume-title":"CONCUR 2002 - Concurrency Theory","author":"S. Cattani","year":"2002","unstructured":"Cattani, S., Segala, R.: Decision algorithms for probabilistic bisimulation. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Ku\u010dera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 371\u2013386. Springer, Heidelberg (2002)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Ciesinski, F., Baier, C., Grosser, M., Klein, J.: Reduction techniques for model checking Markov decision processes. In: QEST, pp. 45\u201354. IEEE (2008)","DOI":"10.1109\/QEST.2008.45"},{"key":"12_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04245-8","volume-title":"Computational geometry","author":"M. Berg De","year":"2000","unstructured":"De Berg, M., Van Kreveld, M., Overmars, M., Schwarzkopf, O.C.: Computational geometry. Springer, Heidelberg (2000)"},{"key":"12_CR9","first-page":"53","volume-title":"FMENSS","author":"V. Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: FMENSS, pp. 53\u2013113. Springer, Heidelberg (2011)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Gui, L., Sun, J., Liu, Y., Si, Y.J., Dong, J.S., Wang, X.Y.: Combining model checking and testing with an application to reliability prediction and distribution. In: ISSTA, pp. 101\u2013111. ACM (2013)","DOI":"10.1145\/2483760.2483779"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Parker, D., Qu, H.: Incremental quantitative verification for Markov decision processes. In: DSN, pp. 359\u2013370. IEEE (2011)","DOI":"10.1109\/DSN.2011.5958249"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Liu, Y., Gui, L., Liu, Y.: MDP-based reliability analysis of an ambient assisted living system. In: FM Industry Track, Singapore (May 2014)","DOI":"10.1007\/978-3-319-06410-9_46"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-38613-8_12","volume-title":"Integrated Formal Methods","author":"S. Song","year":"2013","unstructured":"Song, S., Gui, L., Sun, J., Liu, Y., Dong, J.S.: Improved reachability analysis in DTMC via divide and conquer. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol.\u00a07940, pp. 162\u2013176. Springer, Heidelberg (2013)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Stewart, W.J.: Introduction to the numerical solution of Markov chains. Princeton University Press (1994)","DOI":"10.1515\/9780691223384"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards flexible verification under fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput.\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11737-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T23:54:27Z","timestamp":1650412467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11737-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117362","9783319117379"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11737-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}