3 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Raven Beutner, Bernd Finkbeiner
Strategy logic (SL) is a powerful temporal logic that enables strategic reasoning in multi-agent systems. SL supports explicit (first-order) quantification over strategies and prov…