We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...