TATL

TATL: implementation of ATL tableau-based decision procedure This paper describes the implementation of a tableau-based decision procedure for the alternating-time temporal logic proposed by Goranko and Shkatov in 2009, as well as a set of representative formulas used for testing.