Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Alternating-time temporal logic
open-in-new
<p>In <a href="/facts/Computer_science/lN3pEyPz">computer science</a>, alternating-time temporal logic, or ATL, is a branching-time <a href="/facts/Temporal_logic/vANP39lc">temporal logic</a> that extends <a href="/facts/Computation_tree_logic/h04gVzsL">computation tree logic (CTL)</a> to multiple players. ATL naturally describes computations of <a href="/facts/Multi-agent_system/A85vt3UA">multi-agent systems</a> and <a href="/facts/Simultaneous_game/TkHcpJUo">concurrent games</a>. Quantification in ATL is over program-paths that are possible outcomes of games. ATL uses alternating-time formulas to construct <a href="/facts/Model-checker/FwvKMlw9">model-checkers</a> in order to address problems such as receptiveness, realizability, and controllability. </p>