@misc{indiciae653eac5bd6ad,
  title = {Synthesizing Dominant Strategies for Liveness (Full Version)},
  author = {Bernd Finkbeiner and Noemi Passing},
  year = {2023},
  url = {https://arxiv.org/abs/2210.01660},
  note = {Source identifier: 2210.01660}
}