Alternating-time Temporal Logic

In computer science, Alternating-time Temporal Logic, or ATL, is a branching-time temporal logic that naturally describes computations of multi-agent… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2003-2017
0246820032017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of… (More)
  • figure 1
Is this relevant?
2014
2014
We introduce ATLEP, an extension of Alternating-time Temporal Logic (ATL), following the recent Alternating-time Temporal Logic… (More)
Is this relevant?
2013
2013
We present an extension of Alternating-time Temporal Logic ATL, called ATLP (Parametric ATL), where parameters are allowed in… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
2012
2012
We present a semantics for the Alternating-time Temporal Logic (ATL) with imperfect information, in which the participants in a… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2010
2010
Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science… (More)
  • figure 1
Is this relevant?
2010
2010
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of… (More)
Is this relevant?
2007
2007
Last decade witnesses an impressive development of embedded reactive systems, which motivates the research of open systems, where… (More)
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… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Alternating-timeTemporal Logic (ATL), introduced byAlur,Henzinger andKupferman, is a logical formalism for the specification and… (More)
Is this relevant?
2004
2004
This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time… (More)
  • table 1
  • figure 1
Is this relevant?