Rohit Chadha, Mahesh Viswanathan. A counterexample-guided abstraction-refinement framework for markov decision processes. ACM Trans. Comput. Log., 12(1):1, 2010. [doi]
@article{ChadhaV10, title = {A counterexample-guided abstraction-refinement framework for markov decision processes}, author = {Rohit Chadha and Mahesh Viswanathan}, year = {2010}, doi = {10.1145/1838552.1838553}, url = {http://doi.acm.org/10.1145/1838552.1838553}, tags = {refinement, Markov, abstraction}, researchr = {https://researchr.org/publication/ChadhaV10}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {12}, number = {1}, pages = {1}, }