https://profilpelajar.com/Alternating-time_Temporal_Logic