@inproceedings{Br_zdil_2010,
    doi = {10.1137/1.9781611973075.70},
    url = {https://doi.org/10.1137%2F1.9781611973075.70},
    year = {2010},
    month = {jan},
    publisher = {Society for Industrial and Applied Mathematics},
    author = {T. Br{\'{a}}zdil and V. Bro{\v{z}}ek and K. Etessami and A. Ku{\v{c}}era and D. Wojtczak},
    title = {One-Counter Markov Decision Processes},
    booktitle = {Proceedings of the Twenty-First Annual {ACM}-{SIAM} Symposium on Discrete Algorithms}
}

@inproceedings{Br_zdil_2010, doi = {10.1137/1.9781611973075.70}, url = {https://doi.org/10.1137%2F1.9781611973075.70}, year = {2010}, month = {jan}, publisher = {Society for Industrial and Applied Mathematics}, author = {T. Br{\'{a}}zdil and V. Bro{\v{z}}ek and K. Etessami and A. Ku{\v{c}}era and D. Wojtczak}, title = {One-Counter Markov Decision Processes}, booktitle = {Proceedings of the Twenty-First Annual {ACM}-{SIAM} Symposium on Discrete Algorithms} }