Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.

Davide Catta, Angelo Ferrando, Vadim Malvone

Browse the full ICAART paper archive.