1.
Luo K. Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking. AAAI [Internet]. 2023Jun.26 [cited 2024Apr.20];37(5):6475-82. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25796