 |
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.
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 : Tuesday, June 30, 2020 - 11:56:08 AM
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, November 5, 2013 - 4:55:45 PM
Last modification on : Tuesday, June 30, 2020 - 11:56:08 AM
Links full text
