Luo, Kailun

5 publications

AAAI 2025 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 2023 Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking Kailun Luo

AAAI 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement Kailun Luo, Yongmei Liu

IJCAI 2021 A Uniform Abstraction Framework for Generalized Planning Zhenhe Cui, Yongmei Liu, Kailun Luo

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