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

Related topics

Related topics

7 relations
Computation tree logicComputer scienceLinear temporal logicMulti-agent system
Expand

Broader (2)

Logic in computer scienceModal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Resource-bounded alternating-time temporal logic
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
Alternating-time temporal logics with irrevocable strategies
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
Alternating-time temporal logic with explicit strategies
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
Complete axiomatization and decidability of Alternating-time temporal logic
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
Alternating-time logic with imperfect recall
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
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
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
Alternating-time temporal logic
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
Coalition games and alternating temporal logics
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
Alternating-time temporal logic
 
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Alternating-time temporal logic
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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE