@misc{indiciae4f639ca3a53e,
  title = {Assume-Guarantee Verification of Strategic Ability},
  author = {Łukasz Mikulski and Wojciech Jamroga and Damian Kurpiewski},
  year = {2023},
  doi = {10.1007/978-3-031-21203-1\textbackslash{}\_11},
  url = {https://arxiv.org/abs/2310.15686},
  note = {Source identifier: 2310.15686}
}