In computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

, Alternating-time Temporal Logic, or ATL, is a branching-time temporal logic that naturally describes computations of multi-agent system

Multi-agent system

A multi-agent system is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems that are difficult or impossible for an individual agent or a monolithic system to solve...

 and multiplayer game

Multiplayer game

A multiplayer video game is one which more than one person can play in the same game environment at the same time. Unlike most other games, computer and video games are often single-player activities that put the player against preprogrammed challenges and/or AI-controlled opponents, which often...

s.. It offers selective quantification over program-paths that are possible outcomes of games . ATL uses alternating-time formulas to construct model-checkers in order to address problems such as receptiveness, realizability, and controllability.