9 citations · 9 across the 1 of their papers we have counts for
1 paper
Christophe Chareton, Julien Brunel, David Chemouil
This article is about temporal multi-agent logics. Several of these formalisms have been already presented (ATL-ATL*, ATLsc, SL). They enable to express the capacities of agents in…