S. Akshay, Timos Antonopoulos, Joël Ouaknine, James Worrell. Reachability problems for Markov chains. Inf. Process. Lett., 115(2):155-158, 2015. [doi]
@article{AkshayAOW15, title = {Reachability problems for Markov chains}, author = {S. Akshay and Timos Antonopoulos and Joël Ouaknine and James Worrell}, year = {2015}, doi = {10.1016/j.ipl.2014.08.013}, url = {http://dx.doi.org/10.1016/j.ipl.2014.08.013}, researchr = {https://researchr.org/publication/AkshayAOW15}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {115}, number = {2}, pages = {155-158}, }