@article{Kattenbelt_2010,
    doi = {10.1007/s10703-010-0097-6},
    url = {https://doi.org/10.1007%2Fs10703-010-0097-6},
    year = {2010},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {36},
    number = {3},
    pages = {246--280},
    author = {Mark Kattenbelt and Marta Kwiatkowska and Gethin Norman and David Parker},
    title = {A game-based abstraction-refinement framework for~Markov decision processes},
    journal = {Formal Methods in System Design}
}

@article{Kattenbelt_2010, doi = {10.1007/s10703-010-0097-6}, url = {https://doi.org/10.1007%2Fs10703-010-0097-6}, year = {2010}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {36}, number = {3}, pages = {246--280}, author = {Mark Kattenbelt and Marta Kwiatkowska and Gethin Norman and David Parker}, title = {A game-based abstraction-refinement framework for~Markov decision processes}, journal = {Formal Methods in System Design} }