TATL: Implementation of ATL tableau-based decision procedure - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

TATL: Implementation of ATL tableau-based decision procedure

Résumé

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.

Dates et versions

hal-00880284 , version 1 (05-11-2013)

Identifiants

Citer

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⟩
54 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More