K. Luo, “Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking”, AAAI, vol. 37, no. 5, pp. 6475–6482, Jun. 2023.