1.
Demri S, Fervari R. Model-Checking for Ability-Based Logics with Constrained Plans. AAAI [Internet]. 2023Jun.26 [cited 2024Apr.21];37(5):6305-12. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25776