(1)
Luo, K. Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking. AAAI 2023, 37, 6475-6482.