Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information. - Marco Aruta; Francesco Improta; Vadim Malvone; Aniello Murano (PAAMS, 2025)