@misc{indiciaea1c815560965,
  title = {STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions},
  author = {Damian Kurpiewski and Witold Pazderski and Wojciech Jamroga and Yan Kim},
  year = {2023},
  doi = {10.5555/3463952.3464232},
  url = {https://arxiv.org/abs/2310.18418},
  note = {Source identifier: 2310.18418}
}