{"_id":"Co2z3WerNCRoHTcLb","authorIDs":[],"author_short":["Gui, L.","Sun, J.","Song, S.","Liu, Y.","Dong, J.<nbsp>S."],"bibbaseid":"gui-sun-song-liu-dong-sccbasedimprovedreachabilityanalysisformarkovdecisionprocesses-2014","bibdata":{"author":["Gui, Lin","Sun, Jun","Song, Songzheng","Liu, Yang","Dong, Jin Song"],"author_short":["Gui, L.","Sun, J.","Song, S.","Liu, Y.","Dong, J.<nbsp>S."],"bibtex":"@inproceedings{ dblp1622443,\n title = {SCC-Based Improved Reachability Analysis for Markov Decision Processes},\n author = {Lin Gui and Jun Sun and Songzheng Song and Yang Liu and Jin Song Dong},\n author_short = {Gui, L. and Sun, 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 url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/icfem2014b.pdf},\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}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/Gui0S0D14","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","conference":"ICFEM","id":"dblp1622443","key":"dblp1622443","pages":"171-186","text":"ICFEM 2014:171-186","title":"SCC-Based Improved Reachability Analysis for Markov Decision Processes","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-319-11737-9_12","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/icfem2014b.pdf","year":"2014","bibbaseid":"gui-sun-song-liu-dong-sccbasedimprovedreachabilityanalysisformarkovdecisionprocesses-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-11737-9_12"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/icfem2014b.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.709Z","downloads":0,"keywords":[],"search_terms":["scc","based","improved","reachability","analysis","markov","decision","processes","gui","sun","song","liu","dong"],"title":"SCC-Based Improved Reachability Analysis for Markov Decision Processes","year":2014,"dataSources":["mpMYjTrc4gjXaNRQh"]}