Kailun Luo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | 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 |
| 2023 | AAAI | Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking. | Kailun Luo |
| 2022 | AAAI | Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. | Kailun Luo, Yongmei Liu |
| 2021 | IJCAI | A Uniform Abstraction Framework for Generalized Planning. | Zhenhe Cui, Yongmei Liu, Kailun Luo |
| 2020 | ECAI | Agent Abstraction via Forgetting in the Situation Calculus. | Kailun Luo, Yongmei Liu, Yves Lesprance, Ziliang Lin |
| 2019 | IJCAI | Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. | Kailun Luo, Yongmei Liu |