48 citations · 241 across the 30 of their papers we have counts for
1 paper · 1 filter
François Laroussinie, Nicolas Markey
Various extensions of the temporal logic ATL have recently been introduced to express rich properties of multi-agent systems. Among these, ATLsc extends ATL with strategy contexts,…