Kailun Luo
According to our database1,
Kailun Luo
authored at least 6 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus.
CoRR, 2024
2023
Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
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.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019