Demri, S.; Fervari, R. Model-Checking for Ability-Based Logics With Constrained Plans. AAAI 2023, 37, 6305-6312.