Login / Signup
Kailun Luo
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 5
Top Topics
Concurrent Actions
Situation Calculus
Model Checking
Classical Planning
Top Venues
AAAI
IJCAI
ECAI
</>
Publications
</>
Kailun Luo
Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking.
AAAI
(2023)
Kailun Luo
,
Yongmei Liu
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement.
AAAI
(2022)
Zhenhe Cui
,
Yongmei Liu
,
Kailun Luo
A Uniform Abstraction Framework for Generalized Planning.
IJCAI
(2021)
Kailun Luo
,
Yongmei Liu
,
Yves Lespérance
,
Ziliang Lin
Agent Abstraction via Forgetting in the Situation Calculus.
ECAI
(2020)
Kailun Luo
,
Yongmei Liu
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants.
IJCAI
(2019)