CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

Falke Bjernemose Øtker Carlsen*, Lars Bo Park Frydenskov, Nicolaj Østerby Jensen*, Jacob Jenner Rasmussen, Mathias Mehl Sørensen, Ager Geel Weirsøe, Mathias Claus Jensen, Kim Guldstrand Larsen

*Corresponding author for this work

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

17 Downloads (Pure)

Fingerprint

Dive into the research topics of 'CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics'. Together they form a unique fingerprint.

Computer Science

Keyphrases