Dependences in Strategy Logic

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…