TY  - RPRT
TI  - MsATL: a Tool for SAT-Based ATL Satisfiability Checking
AU  - Artur Niewiadomski
AU  - Magdalena Kacprzak
AU  - Damian Kurpiewski
AU  - Michał Knapik
AU  - Wojciech Penczek
AU  - Wojciech Jamroga
PY  - 2023
DO  - 10.5555/3398761.3399092
UR  - https://arxiv.org/abs/2310.16519
ID  - 2310.16519
ER  -