Alternating-time Temporal Logic on Finite Traces.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Browse the full IJCAI paper archive.