Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Browse the full PRIMA paper archive.