@inproceedings{dblp-conf-atva-hahnpsstw22a,
  title = {Alternating Good-for-MDPs Automata},
  author = {Ernst Moritz Hahn and Mateo Perez and Sven Schewe and Fabio Somenzi and Ashutosh Trivedi and Dominik Wojtczak},
  year = {2022},
  url = {https://dblp.org/rec/conf/atva/HahnPSSTW22a},
  booktitle = {ATVA 2022}
}