2 citations · 2 across the 1 of their papers we have counts for
1 paper
Valentin Goranko, Dmitry Shkatov
We develop an incremental tableau-based decision procedures for the Alternating-time temporal logic ATL and some of its variants. While running within the theoretically established…