Skip to Main content Skip to Navigation
Conference papers

TATL: Implementation of ATL tableau-based decision procedure

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Tuesday, November 5, 2013 - 4:55:45 PM
Last modification on : Tuesday, June 30, 2020 - 11:56:08 AM

Links full text




Amélie David. TATL: Implementation of ATL tableau-based decision procedure. 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013), Sep 2013, Nancy, France. pp.97--103, ⟨10.1007/978-3-642-40537-2_10⟩. ⟨hal-00880284⟩



Record views