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 metadatas

https://hal.archives-ouvertes.fr/hal-00880284
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, November 5, 2013 - 4:55:45 PM
Last modification on : Monday, October 28, 2019 - 11:00:24 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

84