@misc{indiciae03350c9eac3f,
  title = {CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics},
  author = {Falke B. Ø. Carlsen and Lars Bo P. Frydenskov and Nicolaj Ø. Jensen and Jener Rasmussen and Mathias M. Sørensen and Asger G. Weirsøe and Mathias C. Jensen and Kim G. Larsen},
  year = {2023},
  doi = {10.4204/eptcs.390.7},
  url = {https://arxiv.org/abs/2310.00999},
  note = {Source identifier: 2310.00999}
}