@misc{indiciae228a10787814,
  title = {Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information},
  author = {Angelo Ferrando and Vadim Malvone},
  year = {2021},
  doi = {10.5555/3545946.3598713},
  url = {https://arxiv.org/abs/2112.13621},
  note = {Source identifier: 2112.13621}
}