Demri, S. and Fervari, R. (2023) “Model-Checking for Ability-Based Logics with Constrained Plans”, Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), pp. 6305-6312. doi: 10.1609/aaai.v37i5.25776.