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.
ATL Safety, for multi-agent environments.
ATL extends LTL by allowing branching on coalitions, retaining linear time connectives, interpreted within an concurrent game structure.