@inproceedings{dblp-conf-tacas-hahnpss0w20,
  title = {Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning},
  author = {Ernst Moritz Hahn and Mateo Perez and Sven Schewe and Fabio Somenzi and Ashutosh Trivedi and Dominik Wojtczak},
  year = {2020},
  url = {https://dblp.org/rec/conf/tacas/HahnPSS0W20},
  booktitle = {TACAS (1) 2020}
}