168 reads

A Tool Overview of CGAAL: A Distributed On-The-Fly ATL Model Checker

by
April 27th, 2024
featured image - A Tool Overview of CGAAL: A Distributed On-The-Fly ATL Model Checker

About Author

Aiding in the focused exploration of potential solutions. HackerNoon profile picture

Efficiently exploring and navigating large solution spaces at HeuristicsSearch.Tech

Comments

avatar

TOPICS

Related Stories