Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions.

Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz

Browse the full IJCAI paper archive.