Alternating-Time Temporal Logic (ATL) Safety¶

ATL Safety, for multi-agent environments.

ATL extends LTL by allowing branching on coalitions, retaining linear time connectives, interpreted within an concurrent game structure.