An Intuitionistic Version of Alternating-Time Temporal Logic. - Laura Bozzelli; Andrea Capone; Davide Catta; Aniello Murano (KR, 2025)