Definitions from Wikipedia (Alternating-time temporal logic)

▸ noun:  In computer science, alternating-time temporal logic, or ATL, is a branching-time temporal logic that extends computation tree logic to multiple players.


▸ Words similar to alternating-time temporal logic
▸ Usage examples for alternating-time temporal logic

▸ Idioms related to alternating-time temporal logic
▸ Wikipedia articles (New!)
▸ Words that often appear near alternating-time temporal logic
▸ Rhymes of alternating-time temporal logic

▸ Invented words related to alternating-time temporal logic