@Inproceedings{EPTCS390.7,
  author    = {Carlsen, Falke B. Ø. and Frydenskov, Lars Bo P. and Jensen, Nicolaj Ø. and Rasmussen, Jener and Sørensen, Mathias M. and Weirsøe, Asger G. and Jensen, Mathias C. and Larsen, Kim G.},
  year      = {2023},
  title     = {CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics},
  editor    = {Achilleos, Antonis and Della Monica, Dario},
  booktitle = {{\rm Proceedings of the Fourteenth International Symposium on}
               Games, Automata, Logics, and Formal Verification,
               {\rm Udine, Italy, 18-20th September 2023}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {390},
  publisher = {Open Publishing Association},
  pages     = {99-114},
  doi       = {10.4204/EPTCS.390.7},
}