Kailun Luo

According to our database, Kailun Luo authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking.

Kailun Luo

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement.

Kailun Luo, Yongmei Liu

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A Uniform Abstraction Framework for Generalized Planning.

Zhenhe Cui, Yongmei Liu, Kailun Luo

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Agent Abstraction via Forgetting in the Situation Calculus.

Kailun Luo, Yongmei Liu, Yves Lespérance, Ziliang Lin

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants.

Kailun Luo, Yongmei Liu

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019