Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models.

Davide Catta, Jean Leneutre, Vadim Malvone

Browse the full ECAI paper archive.