Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Alternating-time Temporal Logic

Known as: ATL 
In computer science, Alternating-time Temporal Logic, or ATL, is a branching-time temporal logic that naturally describes computations of multi-agent… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In Alternating-time Temporal Logic (ATL), one can express statements about the strategic ability of an agent (or a coalition of… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We introduce ATLES - a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Alternating-time Temporal Logic (ATL), introduced by Alur, Henzinger and Kupferman, is a logical formalism for the specification… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Abstract We study here a variant of the alternating-time temporal logic (ATL) where each agent has a given memory. We show that… Expand
  • table 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that… Expand
  • figure 1
  • figure 2
  • figure 3
  • table I
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We draw parallels between coalition game logics developed in [Pauly, 2000b] and [Pauly, 2000c] on one hand, and alternating-time… Expand
Is this relevant?
Highly Cited
1999
Highly Cited
1999
 
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that… Expand
  • figure 1
  • figure 2
Is this relevant?