Alternating-Time Temporal Logic¶

Rajeev Alur, T. A. H., & Kupferman, O. (2002). Alternating-Time Temporal Logic. ACM, 49(5), 672-713.

Type: Journal article
Intellectual base: Primary research
Year: 2002
DOI: 10.1145/585265.585270
Link: https://doi.org/10.1145/585265.585270

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Alternating-time temporal logic
- Alternating-time temporal logic (ATL) extends CTL with strategic coalition quantifiers ⟨⟨A⟩⟩ that state coalition A can choose a strategy forcing a next, always, or eventual property against all complementary choices.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:be46eddd820d · see in the full table