Model Checking Cooperation , Knowledge , and Time — A Case Study

  title={Model Checking Cooperation , Knowledge , and Time — A Case Study},
  author={Wiebe van der Hoek and Michael Wooldridge},
Alternating-time Temporal Logic (ATL) is a logic developed by Alur, Henzinger, and Kupferman for reasoning about coalitional powers in multi-agent systems. Since what agents can achieve in a specific state will in general depend on the knowledge they have in that state, in an earlier paper we proposed ATEL, an epistemic extension to ATL which is interpreted over Alternating-time Temporal Epistemic Transition Systems (AETS). The logic ATEL shares with its ancestor ATL the property that its model… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS