Model-Checking for Ability-Based Logics with Constrained Plans.

Stphane Demri, Raul Fervari

Browse the full AAAI paper archive.