%0 Journal Article %1 journals/siamco/HaesaertSA17 %A Haesaert, Sofie %A Soudjani, Sadegh Esmaeil Zadeh %A Abate, Alessandro %D 2017 %J SIAM J. Control and Optimization %K dblp %N 4 %P 2333-2367 %T Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. %U http://dblp.uni-trier.de/db/journals/siamco/siamco55.html#HaesaertSA17 %V 55

@article{journals/siamco/HaesaertSA17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Haesaert, Sofie and Soudjani, Sadegh Esmaeil Zadeh and Abate, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/2c59afabab65b06824e49f0b80d303c00/dblp}, ee = {https://doi.org/10.1137/16M1079397}, interhash = {81b8d3623458d8cb40966798008dfa21}, intrahash = {c59afabab65b06824e49f0b80d303c00}, journal = {SIAM J. Control and Optimization}, keywords = {dblp}, number = 4, pages = {2333-2367}, timestamp = {2018-11-03T11:48:37.000+0100}, title = {Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement.}, url = {http://dblp.uni-trier.de/db/journals/siamco/siamco55.html#HaesaertSA17}, volume = 55, year = 2017 }