There are 0 repository under atl-logic topic.
An on-the-fly, multi-threaded ATL model checker on concurrent game structures