103
click to vote
FSTTCS
2010
Springer
15 years 26 days ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...