[1]
S. Demri and R. Fervari, “Model-Checking for Ability-Based Logics with Constrained Plans”, AAAI, vol. 37, no. 5, pp. 6305-6312, Jun. 2023.