TY  - RPRT
TI  - Towards Assume-Guarantee Verification of Strategic Ability
AU  - Łukasz Mikulski
AU  - Wojciech Jamroga
AU  - Damian Kurpiewski
PY  - 2023
DO  - 10.5555/3535850.3536082
UR  - https://arxiv.org/abs/2310.15727
ID  - 2310.15727
ER  -