Demri, Stéphane, and Raul Fervari. 2023. “Model-Checking for Ability-Based Logics With Constrained Plans”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (5):6305-12. https://doi.org/10.1609/aaai.v37i5.25776.