TY  - RPRT
TI  - Assume-Guarantee Verification of Strategic Ability
AU  - Łukasz Mikulski
AU  - Wojciech Jamroga
AU  - Damian Kurpiewski
PY  - 2023
DO  - 10.1007/978-3-031-21203-1\_11
UR  - https://arxiv.org/abs/2310.15686
ID  - 2310.15686
ER  -