@misc{indiciae801d3418a711,
  title = {Smaller Progress Measures and Separating Automata for Parity Games},
  author = {Daniele Dell'Erba and Sven Schewe},
  year = {2022},
  doi = {10.3389/fcomp.2022.936903},
  url = {https://arxiv.org/abs/2205.00744},
  note = {Source identifier: 2205.00744}
}