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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element