FAQ

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

Related topics

Related topics

7 relations
Computation tree logicComputer scienceLinear temporal logicMulti-agent system
(More)

Broader (2)

Logic in computer scienceModal logic

Related mentions per year

Related mentions per year

1942-2018
19401960198020002020
Alternating-time Temporal Logic
Temporal logic
Computer science
Multi-agent system
Modal logic
Linear temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Alternating-time temporal logic with resource bounds
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
Alternating-time Temporal Logic with Explicit Programs
We introduce ATLEP, an extension of Alternating-time Temporal Logic (ATL), following the recent Alternating-time Temporal Logic… (More)
Is this relevant?
2013
2013
Group Synthesis for Alternating-Time Temporal Logic
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
Model-Checking Alternating-Time Temporal Logic with Strategies Based on Common Knowledge is Undecidable
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
Graded Alternating-Time Temporal Logic
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
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… (More)
Is this relevant?
2007
2007
Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm
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
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… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Complete axiomatization and decidability of Alternating-time temporal logic
Alternating-timeTemporal Logic (ATL), introduced byAlur,Henzinger andKupferman, is a logical formalism for the specification and… (More)
Is this relevant?
2004
2004
Unbounded model checking for alternating-time temporal logic
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?