TY  - RPRT
TI  - A Model Checker for Natural Strategic Ability
AU  - Marco Aruta
AU  - Vadim Malvone
AU  - Aniello Murano
PY  - 2024
UR  - https://arxiv.org/abs/2410.14374
ID  - 2410.14374
ER  -