8 citations · 22 across the 17 of their papers we have counts for
1 paper · 1 filter
François Laroussinie, Nicolas Markey, Arnaud Sangnier
Alternating-time temporal logic with strategy contexts (ATLsc) is a powerful formalism for expressing properties of multi-agent systems: it extends CTL with strategy quantifiers, o…