@misc{indiciaeac8e030e08d3,
  title = {Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata},
  author = {Vojtěch Forejt and Petr Jančar and Stefan Kiefer and James Worrell},
  year = {2018},
  doi = {10.23638/lmcs-14(4:13)2018},
  url = {https://arxiv.org/abs/1711.06120},
  note = {Source identifier: 1711.06120}
}