TY  - RPRT
TI  - STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
AU  - Damian Kurpiewski
AU  - Łukasz Mikulski
AU  - Wojciech Jamroga
PY  - 2023
UR  - https://arxiv.org/abs/2203.01033
ID  - 2203.01033
ER  -