8 citations · 22 across the 17 of their papers we have counts for
1 paper · 2 filters
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…