@misc{dblp-journals-corr-abs-1909-05081,
  title = {Good-for-MDPs Automata},
  author = {Ernst Moritz Hahn and Mateo Perez and Fabio Somenzi and Ashutosh Trivedi and Sven Schewe and Dominik Wojtczak},
  year = {2019},
  url = {https://dblp.org/rec/journals/corr/abs-1909-05081},
  eprint = {1909.05081},
  archivePrefix = {arXiv}
}