TY  - RPRT
TI  - CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
AU  - Falke B. Ø. Carlsen
AU  - Lars Bo P. Frydenskov
AU  - Nicolaj Ø. Jensen
AU  - Jener Rasmussen
AU  - Mathias M. Sørensen
AU  - Asger G. Weirsøe
AU  - Mathias C. Jensen
AU  - Kim G. Larsen
PY  - 2023
DO  - 10.4204/eptcs.390.7
UR  - https://arxiv.org/abs/2310.00999
ID  - 2310.00999
ER  -