TY  - RPRT
TI  - Scalable Verification of Strategy Logic through Three-valued Abstraction
AU  - Francesco Belardinelli
AU  - Angelo Ferrando
AU  - Wojciech Jamroga
AU  - Vadim Malvone
AU  - Aniello Murano
PY  - 2023
UR  - https://arxiv.org/abs/2310.17219
ID  - 2310.17219
ER  -