Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. - Kailun Luo; Yongmei Liu 001 (IJCAI, 2019)

Agent Abstraction via Forgetting in the Situation Calculus. - Kailun Luo; Yongmei Liu 001; Yves Lespérance; Ziliang Lin (ECAI, 2020)

A Uniform Abstraction Framework for Generalized Planning. - Zhenhe Cui; Yongmei Liu 001; Kailun Luo (IJCAI, 2021)

Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. - Kailun Luo; Yongmei Liu 001 (AAAI, 2022)

Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking. - Kailun Luo (AAAI, 2023)

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. - Liangda Fang; Xiaoman Wang; Zhang Chen; Kailun Luo; Zhenhe Cui; Quanlong Guan (AAAI, 2025)