@misc{indiciaefa83548e7ec7,
  title = {Optimally Resilient Strategies in Pushdown Safety Games},
  author = {Daniel Neider and Patrick Totzke and Martin Zimmermann},
  year = {2020},
  url = {https://arxiv.org/abs/1912.04771},
  note = {Source identifier: 1912.04771}
}