{"_id":"CawhSvZEkv6kZcC29","authorIDs":[],"author_short":["Gui 0002, L.","Sun 0001, J.","Song, S.","Liu 0003, Y.","Song Dong, J."],"bibbaseid":"gui0002-sun0001-song-liu0003-songdong-sccbasedimprovedreachabilityanalysisformarkovdecisionprocesses-2014","bibdata":{"title":"SCC-Based Improved Reachability Analysis for Markov Decision Processes","author":["Lin Gui 0002","Jun Sun 0001","Songzheng Song","Yang Liu 0003","Jin Song Dong"],"author_short":["Gui 0002, L.","Sun 0001, J.","Song, S.","Liu 0003, Y.","Song Dong, J."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp1622443","id":"dblp1622443","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/Gui0S0D14","url":"http://dx.doi.org/10.1007/978-3-319-11737-9_12","conference":"ICFEM","pages":"171-186","text":"ICFEM 2014:171-186","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","bibtex":"@inproceedings{ dblp1622443,\n title = {SCC-Based Improved Reachability Analysis for Markov Decision Processes},\n author = {Lin Gui 0002 and Jun Sun 0001 and Songzheng Song and Yang Liu 0003 and Jin Song Dong},\n author_short = {Gui 0002, L. and Sun 0001, J. and Song, S. and Liu 0003, Y. and Song Dong, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp1622443},\n id = {dblp1622443},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/Gui0S0D14},\n url = {http://dx.doi.org/10.1007/978-3-319-11737-9_12},\n conference = {ICFEM},\n pages = {171-186},\n text = {ICFEM 2014:171-186},\n booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}\n}","bibbaseid":"gui0002-sun0001-song-liu0003-songdong-sccbasedimprovedreachabilityanalysisformarkovdecisionprocesses-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-11737-9_12"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/Gui0S0D14","creationDate":"2015-02-02T07:01:54.558Z","downloads":0,"keywords":[],"search_terms":["scc","based","improved","reachability","analysis","markov","decision","processes","gui 0002","sun 0001","song","liu 0003","song dong"],"title":"SCC-Based Improved Reachability Analysis for Markov Decision Processes","year":2014,"dataSources":["x84w4ME4FkSgCQdhB"]}