35 citations · 102 across the 24 of their papers we have counts for
1 paper · 2 filters
Benjamin Aminof, Vadim Malvone, Aniello Murano +1
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems. Its main feature is that it has variables for strategies that are associated to specific…