9 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
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…