48 citations · 241 across the 30 of their papers we have counts for
1 paper · 2 filters
Patrick Gardy, Patricia Bouyer, Nicolas Markey
Strategy Logic (SL) is a very expressive logic for specifying and verifying properties of multi-agent systems: in SL, one can quantify over strategies, assign them to agents, and e…